Logiques pour la spécification et vérification

Stéphane Demri. Logiques pour la spécification et vérification. 2007. [doi]

Abstract

Abstract is missing.