{"_id":"RQE5AB4m79ozNTvWu","bibbaseid":"wing-woodcock-davies-fm99formalmethodsworldcongressonformalmethodsinthedevelopmentofcomputingsystemstoulousefranceseptember20241999proceedingsvolumeii-1999","downloads":0,"creationDate":"2019-02-02T15:48:53.637Z","title":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II","author_short":null,"year":1999,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/s/Sekerinski:Emil","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Jeannette","M."],"propositions":[],"lastnames":["Wing"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Woodcock"],"suffixes":[]},{"firstnames":["Jim"],"propositions":[],"lastnames":["Davies"],"suffixes":[]}],"title":"FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II","series":"Lecture Notes in Computer Science","volume":"1709","publisher":"Springer","year":"1999","url":"https://doi.org/10.1007/3-540-48118-4","doi":"10.1007/3-540-48118-4","isbn":"3-540-66588-9","timestamp":"Tue, 14 May 2019 10:00:46 +0200","biburl":"https://dblp.org/rec/bib/conf/fm/1999-2","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/fm/1999-2,\n editor = {Jeannette M. Wing and\n Jim Woodcock and\n Jim Davies},\n title = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development\n of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,\n Volume {II}},\n series = {Lecture Notes in Computer Science},\n volume = {1709},\n publisher = {Springer},\n year = {1999},\n url = {https://doi.org/10.1007/3-540-48118-4},\n doi = {10.1007/3-540-48118-4},\n isbn = {3-540-66588-9},\n timestamp = {Tue, 14 May 2019 10:00:46 +0200},\n biburl = {https://dblp.org/rec/bib/conf/fm/1999-2},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Wing, J. M.","Woodcock, J.","Davies, J."],"key":"DBLP:conf/fm/1999-2","id":"DBLP:conf/fm/1999-2","bibbaseid":"wing-woodcock-davies-fm99formalmethodsworldcongressonformalmethodsinthedevelopmentofcomputingsystemstoulousefranceseptember20241999proceedingsvolumeii-1999","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-48118-4"},"downloads":0},"search_terms":["formal","methods","world","congress","formal","methods","development","computing","systems","toulouse","france","september","1999","proceedings","volume"],"keywords":[],"authorIDs":[],"dataSources":["fDYYrPxpzcyDvQK6b"]}