VDMTools: Advances in Support for Formal Modeling in VDM. Fitzgerald, J., Larsen, P. G., & Sahara, S. ACM Sigplan Notices, 43(2):3--11, February, 2008.
VDMTools: Advances in Support for Formal Modeling in VDM [pdf]Paper  bibtex   
@article{ Fitzgerald&08a,
  key = {Fitzgerald\&08},
  author = {John Fitzgerald and Peter Gorm Larsen and Shin Sahara},
  title = {{VDMTools: Advances in Support for Formal Modeling in VDM}},
  journal = {ACM Sigplan Notices},
  year = {2008},
  month = {February},
  volume = {43},
  number = {2},
  pages = {3--11},
  size = {8},
  annote = {},
  url = {http://www.cs.ncl.ac.uk/publications/trs/papers/1057.pdf},
  comment = {PGL I have the sources}
}
Downloads: 0