Formalizing a Subset of VDM-SL in HOL. Agerholm, S. and Sunesen, K. Technical Report IFAD, April, 1999.
Formalizing a Subset of VDM-SL in HOL [pdf]Paper  bibtex   1 download  
@techreport{ Agerholm&99d,
  key = {Agerholm\&99c},
  author = {S. Agerholm and K. Sunesen},
  title = {{Formalizing a Subset of VDM-SL in HOL}},
  institution = {IFAD},
  year = {1999},
  month = {April},
  size = {39},
  url = {http://overturetool.org/publications/papers/FormailizingVDM-SL.pdf},
  annote = {},
  comment = {}
}
Downloads: 1