Combining VDM with Executable Code. Nielsen, C. B., Lausdahl, K., & Larsen, P. G. In Derrick, J., Fitzgerald, J., Gnesi, S., Khurshid, S., Leuschel, M., Reeves, S., & Riccobene, E., editors, Abstract State Machines, Alloy, B, VDM, and Z, volume 7316, of Lecture Notes in Computer Science, pages 266–279, Berlin, Heidelberg, 2012. Springer-Verlag. ISBN 978-3-642-30884-0![Combining VDM with Executable Code [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex 2 downloads @inproceedings{Nielsen&12,
address = {Berlin, Heidelberg},
author = {Claus Ballegaard Nielsen and Kenneth Lausdahl and
Peter Gorm Larsen},
booktitle = {{Abstract State Machines, Alloy, B, VDM, and Z}},
editor = {Derrick, John and Fitzgerald, John and
Gnesi, Stefania and Khurshid, Sarfraz and
Leuschel, Michael and Reeves, Steve and
Riccobene, Elvinia},
key = {Nielsen\&12},
note = {{ISBN 978-3-642-30884-0}},
pages = {266--279},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
title = {{Combining VDM with Executable Code}},
volume = {7316},
year = {2012},
url = {http://dx.doi.org/10.1007/978-3-642-30885-7_19},
}
% G VDM COSIM TOOL
Downloads: 2
{"_id":{"_str":"51f5e029a57e92543f000583"},"__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":["Nielsen, C. B.","Lausdahl, K.","Larsen, P. G."],"bibbaseid":"nielsen-lausdahl-larsen-combiningvdmwithexecutablecode-2012","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Berlin, Heidelberg","author":[{"firstnames":["Claus","Ballegaard"],"propositions":[],"lastnames":["Nielsen"],"suffixes":[]},{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"booktitle":"Abstract State Machines, Alloy, B, VDM, and Z","editor":[{"propositions":[],"lastnames":["Derrick"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Fitzgerald"],"firstnames":["John"],"suffixes":[]},{"propositions":[],"lastnames":["Gnesi"],"firstnames":["Stefania"],"suffixes":[]},{"propositions":[],"lastnames":["Khurshid"],"firstnames":["Sarfraz"],"suffixes":[]},{"propositions":[],"lastnames":["Leuschel"],"firstnames":["Michael"],"suffixes":[]},{"propositions":[],"lastnames":["Reeves"],"firstnames":["Steve"],"suffixes":[]},{"propositions":[],"lastnames":["Riccobene"],"firstnames":["Elvinia"],"suffixes":[]}],"key":"Nielsen&12","note":"ISBN 978-3-642-30884-0","pages":"266–279","publisher":"Springer-Verlag","series":"Lecture Notes in Computer Science","title":"Combining VDM with Executable Code","volume":"7316","year":"2012","url":"http://dx.doi.org/10.1007/978-3-642-30885-7_19","bibtex":"@inproceedings{Nielsen&12,\r\n address = {Berlin, Heidelberg},\r\n author = {Claus Ballegaard Nielsen and Kenneth Lausdahl and\r\n Peter Gorm Larsen},\r\n booktitle = {{Abstract State Machines, Alloy, B, VDM, and Z}},\r\n editor = {Derrick, John and Fitzgerald, John and\r\n Gnesi, Stefania and Khurshid, Sarfraz and\r\n Leuschel, Michael and Reeves, Steve and\r\n Riccobene, Elvinia},\r\n key = {Nielsen\\&12},\r\n note = {{ISBN 978-3-642-30884-0}},\r\n pages = {266--279},\r\n publisher = {Springer-Verlag},\r\n series = {Lecture Notes in Computer Science},\r\n title = {{Combining VDM with Executable Code}},\r\n volume = {7316},\r\n year = {2012},\r\n url = {http://dx.doi.org/10.1007/978-3-642-30885-7_19},\r\n}\r\n\r\n\r\n% G VDM COSIM TOOL\r\n\r\n\r\n","author_short":["Nielsen, C. B.","Lausdahl, K.","Larsen, P. G."],"editor_short":["Derrick, J.","Fitzgerald, J.","Gnesi, S.","Khurshid, S.","Leuschel, M.","Reeves, S.","Riccobene, E."],"id":"Nielsen&12","bibbaseid":"nielsen-lausdahl-larsen-combiningvdmwithexecutablecode-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-30885-7_19"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":2,"html":""},"bibtype":"inproceedings","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","downloads":2,"keywords":[],"search_terms":["combining","vdm","executable","code","nielsen","lausdahl","larsen"],"title":"Combining VDM with Executable Code","title_words":["combining","vdm","executable","code"],"year":2012,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","Ry4ofsSkWAkHhY8ov","maALzmZwmtEEh8pXx"]}