BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
Talks about:
implement (1) incorpor (1) hierarch (1) modular (1) correct (1) method (1) direct (1) verif (1) proof (1) degre (1)

Person: Leo Marcus

DBLP DBLP: Marcus:Leo

Contributed to:

ISSTA 19941994
CADE 19881988

Wrote 2 papers:

ISSTA-1994-Marcus #composition #correctness #testing #verification
The Incorporation of Testing into Verification: Direct, Modular, and Hierarchical Correctness Degrees (LM), p. 197.
CADE-1988-MarcusR #automation #implementation #proving
Two Automated Methods in Implementation Proofs (LM, TR), pp. 622–642.

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.