Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes
No Thumbnail Available
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