Program Checking with Less Hassle
Julian Tschannen
◽
Carlo A. Furia
◽
Martin Nordio
◽
Bertrand Meyer
2004 ◽
Vol 144
(3)
◽
pp. 270-280
Christian S. Collberg
◽
Todd A. Proebsting
1970 ◽
Vol 3
(3)
◽
pp. 81-83
I. V. Vel'bitskii
◽
G. A. Mikhailov
◽
E. L. Yushchenko
Yair Frankel
◽
Peter Gemmell
◽
Moti Yung
Yair Frankel
◽
Peter Gemmell
◽
Moti Yung
Kurt Mehlhorn
◽
Stefan Näher
Andreas Heberle
◽
Thilo Gaul
◽
Wolfgang Goerigk
◽
Gerhard Goos
◽
Wolf Zimmermann
2005 ◽
Vol 52
(3)
◽
pp. 365-473
◽
David Detlefs
◽
Greg Nelson
◽
James B. Saxe