{"_id":"si8nmQBwTZZPzwDav","bibbaseid":"atameur-girard-jambon-usingthebformalapproachforincrementalspecificationdesignofinteractivsystems-1998","downloads":0,"creationDate":"2015-04-07T17:37:00.084Z","title":"Using the B Formal Approach for Incremental Specification Design of Interactiv Systems","author_short":["Aït Ameur, Y.","Girard, P.","Jambon, F."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/ehci/AmeurGJ98","bibdata":{"title":"Using the B Formal Approach for Incremental Specification Design of Interactiv Systems","author":["Yamine Aït Ameur","Patrick Girard","Francis Jambon"],"author_short":["Aït Ameur, Y.","Girard, P.","Jambon, F."],"bibtype":"inproceedings","type":"inproceedings","year":"1998","key":"dblp4036933","id":"dblp4036933","biburl":"http://www.dblp.org/rec/bibtex/conf/ehci/AmeurGJ98","url":"","conference":"EHCI","pages":"91-109","text":"EHCI 1998:91-109","booktitle":"Proceedings of Engineering for Human-Computer Interaction (EHCI)","bibtex":"@inproceedings{ dblp4036933,\n title = {Using the B Formal Approach for Incremental Specification Design of Interactiv Systems},\n author = {Yamine Aït Ameur and Patrick Girard and Francis Jambon},\n author_short = {Aït Ameur, Y. and Girard, P. and Jambon, F.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {1998},\n key = {dblp4036933},\n id = {dblp4036933},\n biburl = {http://www.dblp.org/rec/bibtex/conf/ehci/AmeurGJ98},\n url = {},\n conference = {EHCI},\n pages = {91-109},\n text = {EHCI 1998:91-109},\n booktitle = {Proceedings of Engineering for Human-Computer Interaction (EHCI)}\n}","bibbaseid":"atameur-girard-jambon-usingthebformalapproachforincrementalspecificationdesignofinteractivsystems-1998","role":"author","urls":{},"downloads":0},"search_terms":["using","formal","approach","incremental","specification","design","interactiv","systems","aït ameur","girard","jambon"],"keywords":[],"authorIDs":[],"dataSources":["p4c7ZGw4spiHvA2BX"]}