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 = {}
}