{"_id":{"_str":"51fda34e9874fc9d31000019"},"__v":19,"authorIDs":["54573d4c2abc8e9f370001f5","54597177b43425b77200055c"],"author_short":["Duke, D. J.","Duce, D. A.","Herman, I.","Hagen, P. J.","Reynolds, G. J."],"bibbaseid":"duke-duce-herman-hagen-reynolds-formalmethodsinthedevelopmentofpremo-1995","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["David","J."],"propositions":[],"lastnames":["Duke"],"suffixes":[]},{"firstnames":["David","A."],"propositions":[],"lastnames":["Duce"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Herman"],"suffixes":[]},{"firstnames":["Paul","JW"],"propositions":[],"lastnames":["Hagen"],"suffixes":[]},{"firstnames":["Graham","J."],"propositions":[],"lastnames":["Reynolds"],"suffixes":[]}],"title":"Formal Methods in the Development of PREMO","journal":"Computer Standards & Interfaces","pages":"491--509","volume":"16","url":"ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z","year":"1995","bibtex":"@article{ Duke1995,\n author = {David J. Duke and David A. Duce and Ivan Herman and Paul JW Hagen and Graham J. Reynolds},\n title = {Formal Methods in the Development of PREMO},\n journal = {Computer Standards & Interfaces},\n pages = {491--509},\n volume = {16},\n url = {ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z} ,\n year = {1995}\n}\n\n\n","author_short":["Duke, D. J.","Duce, D. A.","Herman, I.","Hagen, P. J.","Reynolds, G. J."],"key":"Duke1995","id":"Duke1995","bibbaseid":"duke-duce-herman-hagen-reynolds-formalmethodsinthedevelopmentofpremo-1995","role":"author","urls":{"Paper":"ftp://ftp.cwi.nl/pub/CWIreports/IS/CS-R9465.ps.Z"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/graham-j-reynolds/?format=bibtex","downloads":0,"keywords":[],"search_terms":["formal","methods","development","premo","duke","duce","herman","hagen","reynolds"],"title":"Formal Methods in the Development of PREMO","title_words":["formal","methods","development","premo"],"year":1995,"dataSources":["9P4sFnh8chfqanopE"]}