(PDF) Verification, Model Checking and Abstract

Verification, Model Checking and Abstract Interpretation

doi 10.7551/mitpress/4283.003.0053

Full Text

Abstract

Available in full text

Date

January 1, 1997

Authors

Unknown

Publisher

The MIT Press