GUPRO: Generic Understanding of Programs -- an Overview (2002)

by Jürgen Ebert , Bernt Kullbach , Volker Riediger , Andreas Winter
Venue:ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (HTTP://WWW.ELSEVIER.NL/ LOCATE/ENTCS/VOLUME72.HTML
Citations:15 - 3 self