Omslagsbild

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

Sparad:
I publikationen:arXiv.org (May 31, 2018), p. n/a
Huvudupphov: Štill, Vladimír
Övriga upphov: Ročkai, Petr, Barnat, Jiří
Utgiven:
Cornell University Library, arXiv.org
Ämnen:
C++ (programming language)
Program verification (computers)
Complexity
Programming languages
Software development
Language preprocessors
Länkar:Citation/Abstract
Full text outside of ProQuest
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!