Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
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