Author:
Peralta Julio C.,Gallagher John P.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Krysztof R. Apt and Ernst-Rüdiger Olderog. Verification of Sequential and Concurrent Programs. Springer-Verlag, 1991.
2. Lect Notes Comput Sci;F. Benoy,1996
3. Edmund M. Clarke, Orna Grumberg, and Doron Peled. Model Checking. The MIT Press, 2000.
4. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the Conference Record of the 5th ACM Symposium on Principles of Programming Languages, pages 84–97, Albuquerque, New Mexico, 1978. Also in “ http://www.di.ens.fr/~cousot/COUSOTpapers/POPL78.shtml ”.
5. Lect Notes Comput Sci;G. Delzanno,1999
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献