Symbolic evaluation of imperative programming languages / Bernd Burgstaller. 2005
Inhalt