BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
laboratori (1)
logic (1)
verif (1)
base (1)
argonn (1)

Stem itp$ (all stems)

2 papers:

WRLAWRLA-2006-SasseM07 #algebra #hoare #java #logic #semantics #verification
Java+ITP: A Verification Tool Based on Hoare Logic and Algebraic Semantics (RS, JM), pp. 29–46.
CADECADE-1986-LuskMO
ITP at Argonne National Laboratory (ELL, WM, RAO), pp. 697–698.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.