Fritz Henglein · 3 obras en el catálogoObrasPolymorphic type inference and semi-unification1989Programming with structures, functions, and objects1991VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
