http://citeseer.ist.psu.edu/articles1981.htm P. Cousot & R. Cousot, Principe des Méthodes de Preuve de Propriétés d'Invariance et de Fatalité des Programmes Parallèles

copyright notice
Last modified: Wednesday, 14-May-2014 20:48:04 CEST