BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
Talks about:
procedur (1) specifi (1) induct (1) proof (1) autom (1) sdf (1) asf (1)

Person: Dimitri Naidich

DBLP DBLP: Naidich:Dimitri

Contributed to:

ASF+SDF 19951995

Wrote 1 papers:

ASF+SDF-1995-NaidichD #asf+sdf #automation #induction #proving #specification
Specifying an Automated Induction Proof Procedure in ASF+SDF (DN, TBD), pp. 233–254.

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.