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:
verif (2) function (1) develop (1) correct (1) symbol (1) design (1) simul (1) adlib (1) sdl (1)

Person: Wendell E. Cory

DBLP DBLP: Cory:Wendell_E=

Contributed to:

DAC 19811981
DAC 19801980

Wrote 2 papers:

DAC-1981-Cory #functional #simulation #verification
Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DAC-1980-CoryC #correctness #design #verification
Developments in verification of design correctness (WEC, WMvC), pp. 156–164.

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.