MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Hoare's Logic and VDM." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs
by Thomas Kleymann, Thomas Kleymann (formerly Schreiber — 1998
…Hoare Logic and VDM: Machine-Checked Soundness and Completeness Proofs Thomas Kleymann (formerly…
Cited by 23 (1 self) – Add To MetaCart

Auxiliary Variables and Recursive Procedures
by Thomas Schreiber — 1997 — In TAPSOFT '97, volume 1214 of LNCS
…��cation calculi. Hoare logic and VDM are investigated in the light of these requirements. Section 3 introduces…
Cited by 18 (1 self) – Add To MetaCart

Formal Aspects of Computing Bibliography
by J. Allison, Mark Harman, Dan Simpson, Carroll Morgan, Annabelle Mciver, Karen Seidel, J C M Baeten, Geoffrey Brown, Wayne Luk, Ping Zhou, Jozef Hooman, Ruurd Kuiper Compositional Verification — 1997
… Aspects of Computing, 7(1):77--90, 1995. [138] J Coenen. Hoare's logic and vdm. Formal Aspects…
Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB