Automatic Inference of Class Invariants

vmcai04.pdf
PDF file

In  in Proceedings of the 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI '04)

Publisher  Springer Verlag
All copyrights reserved by Springer 2007.

Details

TypeInproceedings
Volume2937
> Publications > Automatic Inference of Class Invariants