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]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