Optimization and implementation of techniques for the verification of infinite data softwares
Date
2008
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
64 p. : ill. ; 30 cm. (+ CD-Rom)
Keywords
Logiciels : vérification, Design patterns