Verification, Model Checking, and Abstract Interpretation
Fritz Henglein
Paperback
Not Available
Polymorphic Type Inference and Semi-Unification (Classic Reprint)