Fosca Giannotti;Diego Latella
-;-
Trace-Based Abstract Interpretation of Operational Semantics
Lisp and Symbolic Computation