1
Published 1998
Springer Berlin Heidelberg
Table of Contents: ...: Living dinosaurs? -- Analysis of loops -- A new approach to control flow analysis -- Flow logics...