BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
competit (3)
contribut (3)
unbound (1)
handl (1)
loop (1)

Stem esbmc$ (all stems)

3 papers:

TACASTACAS-2014-MorseRCN0 #contest
ESBMC 1.22 — (Competition Contribution) (JM, MR, LCC, DN, BF), pp. 405–407.
TACASTACAS-2013-MorseCNF #bound #contest
Handling Unbounded Loops with ESBMC 1.20 — (Competition Contribution) (JM, LCC, DN, BF), pp. 619–622.
TACASTACAS-2012-CordeiroMNF #bound #contest #model checking
Context-Bounded Model Checking with ESBMC 1.17 — (Competition Contribution) (LCC, JM, DN, BF), pp. 534–537.
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.