Universität Karlsruhe
Using Program Checking to Ensure the Correctness of Compiler Implementations

Zeitschriftenartikel

[1]Sabine Glesner, Using Program Checking to Ensure the Correctness of Compiler Implementations , Journal of Universal Computer Science (J.UCS) 9(3), p. 191-222, March 2003.

[Erzeuge bibTeX Eintrag]

Autoren

Alumni
Prof. Sabine Glesner
Login
Links