Static Analysis: 7th International Symposium, SAS 2000, ...
Preview
In Formal methods in programming and their applications, volume 735 of Lecture
Notes in Computer Science, Novosibirsk, Russia, June/july 1993. Springer-
Verlag. 322 Carroll Morgan, Annabelle McIver, Karen Seidel, and J. W. Sanders.