@article{boiten_modeling_2012,
	title = {Modeling in {Event}-{B} – {System} and {Software} {EngineeringJean}-{Raymond} {Abrial} {Cambridge} {University} {Press}, {May} 2010 {ISBN}-10: 0521895561},
	volume = {22},
	issn = {1469-7653, 0956-7968},
	shorttitle = {Modeling in {Event}-{B} – {System} and {Software} {EngineeringJean}-{Raymond} {Abrial} {Cambridge} {University} {Press}, {May} 2010 {ISBN}-10},
	url = {https://www.cambridge.org/core/journals/journal-of-functional-programming/article/abs/modeling-in-eventb-system-and-software-engineeringjeanraymond-abrial-cambridge-university-press-may-2010-isbn10-0521895561/35DE12E3B2E217067A8A3C316666B102},
	doi = {10/gjgrdh},
	abstract = {//static.cambridge.org/content/id/urn\%3Acambridge.org\%3Aid\%3Aarticle\%3AS0956796812000081/resource/name/firstPage-S0956796812000081a.jpg},
	language = {en},
	number = {2},
	urldate = {2021-03-16},
	journal = {Journal of Functional Programming},
	author = {Boiten, Eerke},
	month = mar,
	year = {2012},
	note = {Publisher: Cambridge University Press},
	pages = {217--219},
}

{"_id":"yXXcNAeGnatGKAbim","bibbaseid":"boiten-modelingineventbsystemandsoftwareengineeringjeanraymondabrialcambridgeuniversitypressmay2010isbn100521895561-2012","author_short":["Boiten, E."],"bibdata":{"bibtype":"article","type":"article","title":"Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561","volume":"22","issn":"1469-7653, 0956-7968","shorttitle":"Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10","url":"https://www.cambridge.org/core/journals/journal-of-functional-programming/article/abs/modeling-in-eventb-system-and-software-engineeringjeanraymond-abrial-cambridge-university-press-may-2010-isbn10-0521895561/35DE12E3B2E217067A8A3C316666B102","doi":"10/gjgrdh","abstract":"//static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0956796812000081/resource/name/firstPage-S0956796812000081a.jpg","language":"en","number":"2","urldate":"2021-03-16","journal":"Journal of Functional Programming","author":[{"propositions":[],"lastnames":["Boiten"],"firstnames":["Eerke"],"suffixes":[]}],"month":"March","year":"2012","note":"Publisher: Cambridge University Press","pages":"217–219","bibtex":"@article{boiten_modeling_2012,\n\ttitle = {Modeling in {Event}-{B} – {System} and {Software} {EngineeringJean}-{Raymond} {Abrial} {Cambridge} {University} {Press}, {May} 2010 {ISBN}-10: 0521895561},\n\tvolume = {22},\n\tissn = {1469-7653, 0956-7968},\n\tshorttitle = {Modeling in {Event}-{B} – {System} and {Software} {EngineeringJean}-{Raymond} {Abrial} {Cambridge} {University} {Press}, {May} 2010 {ISBN}-10},\n\turl = {https://www.cambridge.org/core/journals/journal-of-functional-programming/article/abs/modeling-in-eventb-system-and-software-engineeringjeanraymond-abrial-cambridge-university-press-may-2010-isbn10-0521895561/35DE12E3B2E217067A8A3C316666B102},\n\tdoi = {10/gjgrdh},\n\tabstract = {//static.cambridge.org/content/id/urn\\%3Acambridge.org\\%3Aid\\%3Aarticle\\%3AS0956796812000081/resource/name/firstPage-S0956796812000081a.jpg},\n\tlanguage = {en},\n\tnumber = {2},\n\turldate = {2021-03-16},\n\tjournal = {Journal of Functional Programming},\n\tauthor = {Boiten, Eerke},\n\tmonth = mar,\n\tyear = {2012},\n\tnote = {Publisher: Cambridge University Press},\n\tpages = {217--219},\n}\n\n","author_short":["Boiten, E."],"key":"boiten_modeling_2012","id":"boiten_modeling_2012","bibbaseid":"boiten-modelingineventbsystemandsoftwareengineeringjeanraymondabrialcambridgeuniversitypressmay2010isbn100521895561-2012","role":"author","urls":{"Paper":"https://www.cambridge.org/core/journals/journal-of-functional-programming/article/abs/modeling-in-eventb-system-and-software-engineeringjeanraymond-abrial-cambridge-university-press-may-2010-isbn10-0521895561/35DE12E3B2E217067A8A3C316666B102"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["modeling","event","system","software","engineeringjean","raymond","abrial","cambridge","university","press","2010","isbn","0521895561","boiten"],"title":"Modeling in Event-B – System and Software EngineeringJean-Raymond Abrial Cambridge University Press, May 2010 ISBN-10: 0521895561","year":2012}