Paper  bibtex   2 downloads  

@techreport{ Agerholm&99b,
  key = {Agerholm\&99},
  author = {S. Agerholm and K. Sunesen},
  title = {{Reasoning about VDM-SL Proof Obligations in HOL}},
  institution = {IFAD},
  year = {1999},
  url = {http://overturetool.org/publications/papers/ReasoningAboutVDM-SL.pdf},
  annote = {},
  comment = {}
}