Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
114 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Logiciels : Vérification, Logiciels, Filtres (informatique), Logiciels : Essais