BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
C.O'Halloran
Talks about:
abstract (1) generat (1) verifi (1) pictur (1) verif (1) code (1) don (1)

Person: Alf Smith

DBLP DBLP: Smith:Alf

Contributed to:

ASE 19991999
ASE 19981998

Wrote 2 papers:

ASE-1999-OHalloranS #verification
Verification of Picture Generated Code (CO, AS), pp. 127–136.
ASE-1998-OHalloranS #exclamation #verification
Don’t Verify, Abstract! (CO, AS), pp. 53–62.
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.