BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
develop (2)
program (2)
verifi (2)

Stem dafni$ (all stems)

2 papers:

ICSEICSE-2013-Leino #source code
Developing verified programs with dafny (KRML), pp. 1488–1490.
HILTHILT-2012-Leino #source code
Developing verified programs with Dafny (KRML), pp. 9–10.

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.