Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/cousot

P. Cousot (cousot)

Beiträge zu Philosophie.ch

No contributions yet

Bibliography

    Cousot, P. 1990. “Methods and Logics for Proving Programs.” in Handbook of Theoretical Computer Science: Formal Models and Semantics, edited by Jan van Leeuven, pp. 841–993. Cambridge, Massachusetts: The MIT Press.