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   
@incollection{Lausdahl&13,
  author =        {Lausdahl, Kenneth},
  booktitle =     {Integrated Formal Methods},
  editor =        {Johnsen, Einar Broch and Petre, Luigia},
  key =           {Lausdahl\&13},
  note =          {10th International Conference, IFM 2013},
  pages =         {46-60},
  publisher =     {Springer Berlin Heidelberg},
  series =        {Lecture Notes in Computer Science},
  title =         {{Translating VDM to Alloy}},
  volume =        {7940},
  year =          {2013},
  doi =           {10.1007/978-3-642-38613-8_4},
  isbn =          {978-3-642-38612-1},
  url =           {http://dx.doi.org/10.1007/978-3-642-38613-8_4},
}
Downloads: 0