E. M. Clarke;Neil Kurshan;R. P. Kurshan
-;-;-
Embedding Chaos
SAS '01 Proceedings of the 8th International Symposium on Static Analysis