@inproceedings{Larsen&10i,
	key			= "Larsen\&10",
	AUTHOR      = "Peter Gorm Larsen and Nick Battle and Miguel Ferreira
                   and John Fitzgerald and Kenneth Lausdahl and Marcel
                   Verhoef",
	TITLE       = "{The Overture Initiative -- Integrating Tools for VDM}",
	BOOKTITLE	= "{Harnessing Theories for Tool Support in Software}",
	editor		= "Min Zhang and Volker Stolz",
	MONTH		="November",
	YEAR		="2010",
	pages		="9--19"}

%G SOS CPS COMPASSPUB DESTECSPUB OVERTURE

{"_id":{"_str":"51f5e029a57e92543f000581"},"__v":29,"authorIDs":["3KfERZfjKGcWKBnsY","3xKKvaQP3SCr9iaij","4ZGdnfrz8CmYsYeWa","5458a974b43425b772000187","5deaa24003c11ade01000033","5decfc353d02efdf010000a5","5dfb8e1c749b8bde0100002e","5e0ce1e26762d1de01000145","5e14416712768ef301000118","5e14677a0467fede01000095","5e1934e686b4aade01000008","5e1a3b7e3a430ede01000073","5e1ac9c5ff975cf201000092","5e1adc695f3d2cdf01000023","5e1bb8cb61cb16df010000e2","5e269b26f3bb7ddf01000001","5e2da43e732e89de01000007","5e445a92df3c2af301000193","5e52ac666a3abede01000026","5e55ab6f7d0846de0100009f","5e5629db05e404e401000197","5e5fb31119c3fade0100018f","5e600e3d13e3aede01000204","5e62ab2208ebcade0100016b","5e646fd3e1ac00de010000c0","5rCJDxakFezcBjMh7","7tTMW2Ag7kzYnDjv9","7zvcGWi8vmEXwgr4z","8Zw2rNCBuJK7MsBgj","8eotCSzZZ2kmeD3GY","8ni6FsXPD3wYBMeHw","Dc34oECBHyEwpv7mF","F7MYvy83ixrCWnduX","FjgQ2oyfaAjjLarzd","HAf2bQQMBfPw4PscJ","KeECrTRLiCrYPoyb5","MpYWLFiPQr4AB8Di7","NtxQ9SSTQrELYyARd","QDxjGbzzz8ieD9DDR","QTMj2jsKMSS8DPnui","RuqboAEC8viueLPs5","SHYGdZ6qizeXHx7Ki","TPRQJJi9cLqKrn2ZD","ZJc2RcS8ZkLmDjaoW","ZPzGDgZxZSzhXERzp","Zf4X8SYM6RCmADxfj","ZzQj6vCdfvELyPjgj","bzunJEvhSCePprnRD","dn3QGKKFGBamh6kvA","eRAztJSJSes5m4aeA","exMbRrbm8dtBzw6PL","ka9xuGki2xtZkwrGS","mKutoobkwgyNn8XWT","maQMWqAygyxv8j6QD","pAME5vNJ7b7XfhtbB","q8A2nn9imQhk49Z8z","qHLxzPFCKE7mD5oKK","so8G66cEiQZa9KniD","systYuKbnJxuFaX34","toxJQ8Rgt7cak46Zb","ukAZCLawgKmFHn7X8","wYAtgTYNnmh723Q3D","yvAZGrAMBEvZdn2xz"],"author_short":["Larsen, P. G.","Battle, N.","Ferreira, M.","Fitzgerald, J.","Lausdahl, K.","Verhoef, M."],"bibbaseid":"larsen-battle-ferreira-fitzgerald-lausdahl-verhoef-theovertureinitiativeintegratingtoolsforvdm-2010","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Larsen&10i","author":[{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]},{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["Miguel"],"propositions":[],"lastnames":["Ferreira"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]}],"title":"The Overture Initiative – Integrating Tools for VDM","booktitle":"Harnessing Theories for Tool Support in Software","editor":[{"firstnames":["Min"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]},{"firstnames":["Volker"],"propositions":[],"lastnames":["Stolz"],"suffixes":[]}],"month":"November","year":"2010","pages":"9–19","bibtex":"@inproceedings{Larsen&10i,\n\tkey\t\t\t= \"Larsen\\&10\",\n\tAUTHOR = \"Peter Gorm Larsen and Nick Battle and Miguel Ferreira\n and John Fitzgerald and Kenneth Lausdahl and Marcel\n Verhoef\",\n\tTITLE = \"{The Overture Initiative -- Integrating Tools for VDM}\",\n\tBOOKTITLE\t= \"{Harnessing Theories for Tool Support in Software}\",\n\teditor\t\t= \"Min Zhang and Volker Stolz\",\n\tMONTH\t\t=\"November\",\n\tYEAR\t\t=\"2010\",\n\tpages\t\t=\"9--19\"}\n\n%G SOS CPS COMPASSPUB DESTECSPUB OVERTURE\n","author_short":["Larsen, P. G.","Battle, N.","Ferreira, M.","Fitzgerald, J.","Lausdahl, K.","Verhoef, M."],"editor_short":["Zhang, M.","Stolz, V."],"id":"Larsen&10i","bibbaseid":"larsen-battle-ferreira-fitzgerald-lausdahl-verhoef-theovertureinitiativeintegratingtoolsforvdm-2010","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","downloads":1,"keywords":[],"search_terms":["overture","initiative","integrating","tools","vdm","larsen","battle","ferreira","fitzgerald","lausdahl","verhoef"],"title":"The Overture Initiative – Integrating Tools for VDM","title_words":["overture","initiative","integrating","tools","vdm"],"year":2010,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","Ry4ofsSkWAkHhY8ov","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}