Image de couverture de livre

Using Off-the-Shelf Exception Support Components in C++ Verification

Enregistré dans:
Publié dans:arXiv.org (May 31, 2018), p. n/a
Auteur principal: Štill, Vladimír
Autres auteurs: Ročkai, Petr, Barnat, Jiří
Publié:
Cornell University Library, arXiv.org
Sujets:
C++ (programming language)
Program verification (computers)
Complexity
Programming languages
Software development
Language preprocessors
Accès en ligne:Citation/Abstract
Full text outside of ProQuest
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!