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:
softwar (2)
verif (2)
structur (1)
lightweight (1)
automot (1)

Stem semiform$ (all stems)

3 papers:

DATEDATE-2009-LettninNBRGKRSR #hardware #verification
Semiformal verification of temporal properties in automotive hardware dependent software (DL, PKN, JB, JR, JG, TK, WR, VS, SR), pp. 1214–1217.
POPLPOPL-2008-Danielsson #analysis #complexity #data type #functional #lightweight
Lightweight semiformal time complexity analysis for purely functional data structures (NAD), pp. 133–144.
CSEETCSEET-1999-Stavely #specification #verification
High-Quality Software through Semiformal Specification and Verification (AMS), pp. 145–155.

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.