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

Na minha lista:

Detalhes bibliográficos
Publicado no:	arXiv.org (May 31, 2018), p. n/a
Autor principal:	Štill, Vladimír
Outros Autores:	Ročkai, Petr, Barnat, Jiří
Publicado em:	Cornell University Library, arXiv.org
Assuntos:	C++ (programming language) Program verification (computers) Complexity Programming languages Software development Language preprocessors
Acesso em linha:	Citation/Abstract Full text outside of ProQuest
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!