Ernst-Rüdiger Olderog
-
Vertical implementation
Information and Computation
Embedding Chaos
SAS '01 Proceedings of the 8th International Symposium on Static Analysis