{"_id":"xJFofoxZpMyQfkNbc","bibbaseid":"atameur-girard-jambon-auniformapproachforspecificationanddesignofinteractivesystemsthebmethod-1998","downloads":0,"creationDate":"2015-04-07T17:37:00.083Z","title":"A Uniform Approach for Specification and Design of Interactive Systems: the B Method","author_short":["Aït Ameur, Y.","Girard, P.","Jambon, F."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/dsvis/AmeurGJ98","bibdata":{"title":"A Uniform Approach for Specification and Design of Interactive Systems: the B Method","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":"dblp4034590","id":"dblp4034590","biburl":"http://www.dblp.org/rec/bibtex/conf/dsvis/AmeurGJ98","url":"","conference":"DSV-IS","pages":"51-67","text":"DSV-IS 1998:51-67","booktitle":"Proceedings of Design, Specification, and Verification of Interactive Systems (DSV-IS)","bibtex":"@inproceedings{ dblp4034590,\n title = {A Uniform Approach for Specification and Design of Interactive Systems: the B Method},\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 = {dblp4034590},\n id = {dblp4034590},\n biburl = {http://www.dblp.org/rec/bibtex/conf/dsvis/AmeurGJ98},\n url = {},\n conference = {DSV-IS},\n pages = {51-67},\n text = {DSV-IS 1998:51-67},\n booktitle = {Proceedings of Design, Specification, and Verification of Interactive Systems (DSV-IS)}\n}","bibbaseid":"atameur-girard-jambon-auniformapproachforspecificationanddesignofinteractivesystemsthebmethod-1998","role":"author","urls":{},"downloads":0},"search_terms":["uniform","approach","specification","design","interactive","systems","method","aït ameur","girard","jambon"],"keywords":[],"authorIDs":[],"dataSources":["YkJtKcny7ZSS6X7PJ"]}