Reasoning about VDM-SL Proof Obligations in HOL. Agerholm, S. and Sunesen, K. Technical Report IFAD, 1999.
Reasoning about VDM-SL Proof Obligations in HOL [pdf]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 = {}
}
Downloads: 2