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