Image de couverture de livre

CPAchecker: A Tool for Configurable Software Verification

Enregistré dans:
Publié dans:arXiv.org (Jan 30, 2009), p. n/a
Auteur principal: Beyer, Dirk
Autres auteurs: Keremoglu, M Erkan
Publié:
Cornell University Library, arXiv.org
Sujets:
Algorithms
Program verification (computers)
Source code
Configurable programs
Domains
Software
Accès en ligne:Citation/Abstract
Full text outside of ProQuest
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!