BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
Collaborated with:
A.R.Bradley G.Weissenbacher
Talks about:
counterexampl (1) abstract (1) induct (1) ctigar (1) refin (1) guid (1)

Person: Johannes Birgmeier

DBLP DBLP: Birgmeier:Johannes

Contributed to:

CAV 20142014

Wrote 1 papers:

CAV-2014-BirgmeierBW #abstraction #induction
Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) (JB, ARB, GW), pp. 831–848.

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.