Affiner les résultats
Type de document
Institution
Collection spécifique
Langue
- Anglais (1)
Auteur
- Kroening, Daniel (1)
- Sharygina, Natasha (1)
- Tonetta, Stefano (1)
- Tsitovich, Aliaksei (1)
- Wintersteiger, Christoph (1)
Domaine
- Médecine, Technologie, Sciences de l'ingénieur, Informatique
Mot clé
- Loop invariants (1)
- Loop summarization (1)
- Program abstraction (1)
- Termination (1)
- Transition invariants (1)