Translating VDM to Alloy. Lausdahl, K. In Johnsen, E. B. & Petre, L., editors, Integrated Formal Methods, volume 7940, of Lecture Notes in Computer Science, pages 46-60. Springer Berlin Heidelberg, 2013. 10th International Conference, IFM 2013![Translating VDM to Alloy [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi bibtex 4 downloads @incollection{Lausdahl&13,
KEY = "Lausdahl13",
year ={2013},
isbn ={978-3-642-38612-1},
booktitle ={Integrated Formal Methods},
volume ={7940},
series ={Lecture Notes in Computer Science},
editor ={Johnsen, Einar Broch and Petre, Luigia},
doi ={10.1007/978-3-642-38613-8\_4},
title ="{Translating VDM to Alloy}",
url ={http://dx.doi.org/10.1007/978-3-642-38613-8\_4},
publisher ={Springer Berlin Heidelberg},
author ={Lausdahl, Kenneth},
pages ={46-60},
note ={10th International Conference, IFM 2013},
}
%G VDM TOOL OVERTURE
Downloads: 4
{"_id":{"_str":"527984405e011a4c4b0004c8"},"__v":27,"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":["Lausdahl, K."],"bibbaseid":"lausdahl-translatingvdmtoalloy-2013","bibdata":{"bibtype":"incollection","type":"incollection","key":"Lausdahl&13","year":"2013","isbn":"978-3-642-38612-1","booktitle":"Integrated Formal Methods","volume":"7940","series":"Lecture Notes in Computer Science","editor":[{"propositions":[],"lastnames":["Johnsen"],"firstnames":["Einar","Broch"],"suffixes":[]},{"propositions":[],"lastnames":["Petre"],"firstnames":["Luigia"],"suffixes":[]}],"doi":"10.1007/978-3-642-38613-8_4","title":"Translating VDM to Alloy","url":"http://dx.doi.org/10.1007/978-3-642-38613-8\\_4","publisher":"Springer Berlin Heidelberg","author":[{"propositions":[],"lastnames":["Lausdahl"],"firstnames":["Kenneth"],"suffixes":[]}],"pages":"46-60","note":"10th International Conference, IFM 2013","bibtex":"@incollection{Lausdahl&13,\n KEY = \"Lausdahl13\",\n year\t\t={2013},\n isbn\t\t={978-3-642-38612-1},\n booktitle\t={Integrated Formal Methods},\n volume\t={7940},\n series\t={Lecture Notes in Computer Science},\n editor\t={Johnsen, Einar Broch and Petre, Luigia},\n doi\t\t={10.1007/978-3-642-38613-8\\_4},\n title\t\t=\"{Translating VDM to Alloy}\",\n url\t\t={http://dx.doi.org/10.1007/978-3-642-38613-8\\_4},\n publisher\t={Springer Berlin Heidelberg},\n author\t={Lausdahl, Kenneth},\n pages\t\t={46-60},\n note\t\t={10th International Conference, IFM 2013},\n}\n\n%G VDM TOOL OVERTURE\n","author_short":["Lausdahl, K."],"editor_short":["Johnsen, E. B.","Petre, L."],"id":"Lausdahl&13","bibbaseid":"lausdahl-translatingvdmtoalloy-2013","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-38613-8\\_4"},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":4,"html":""},"bibtype":"incollection","biburl":"https://www.overturetool.org/publications/overtureweb.bib","downloads":4,"keywords":[],"search_terms":["translating","vdm","alloy","lausdahl"],"title":"Translating VDM to Alloy","year":2013,"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","Ry4ofsSkWAkHhY8ov","maALzmZwmtEEh8pXx","nGw4dfQFrDZqKC8vj"]}