author = { Robles, Virgile université Paris-Saclay AND Le Gall, Pascale AND Prevosto, Virgile AND Kosmatov, Nikolaï },

title = { Specifying and verifying high-level requirements on large programs : application to security of C programs ; Spécifier et vérifier des exigences de haut niveau sur des programmes importants : application à la sécurité des programmes C },

keywords = { Deductive verification , Formal methods , Vérification déductive , Specification language , Frama-C , Langage de spécification , Méthodes formelles },

year = {2022-01-21},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }