Cover Image
Read Now

1
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... static checker for modula-3 -- Cool: A control-flow generator for system analysis...”