Introducing software verification with dafny language: proving program correctness
Auteur :
Sitnikovski, Boro
Éditeur :
APress
ISBN :
9781484279779
Date de publication :
1 mars 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
USA