Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels (Documents de soutenance)
Domains
Computer Science [cs]
Origin : Files produced by the author(s)
Loading...