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

Gardado en:

Detalles Bibliográficos
Publicado en:	arXiv.org (May 31, 2018), p. n/a
Autor Principal:	Štill, Vladimír
Outros autores:	Ročkai, Petr, Barnat, Jiří
Publicado:	Cornell University Library, arXiv.org
Materias:	C++ (programming language) Program verification (computers) Complexity Programming languages Software development Language preprocessors
Acceso en liña:	Citation/Abstract Full text outside of ProQuest
Etiquetas:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!