Automatic Inference of Class Invariants

Francesco Logozzo

Details

Publication typeInproceedings
Published inin Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04)
Volume2937
PublisherSpringer Verlag
> Publications > Automatic Inference of Class Invariants