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:
interpol (2)
competit (1)
softwar (1)
verif (1)
base (1)

Stem wolverin$ (all stems)

2 papers:

TACASTACAS-2012-WeissenbacherKM #contest #debugging #named
Wolverine: Battling Bugs with Interpolants — (Competition Contribution) (GW, DK, SM), pp. 556–558.
CAVCAV-2011-KroeningW #verification
Interpolation-Based Software Verification with Wolverine (DK, GW), pp. 573–578.

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.