Identifiant pérenne de la notice : 234430265
Notice de type
Personne
SPARK by Example: an introduction to formal verification through the standard C++
library / Léo Creuse, Joffrey Huguet, Christophe Garion, Jérôme Hugues. Ada Letters,
2019
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial