Path Constraint Construction with Lookahead

Ralf Gerlich. Path Constraint Construction with Lookahead. In Walid Maalej, Bernd Brügge, editors, Software Engineering 2008 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 18.-22.2.2008 in München. Volume 122 of LNI, pages 431-434, GI, 2008.

Bibliographies