Computer software - Verification.

[NT 60487] Overview

[NT 60478] Works:	3 [NT 60520] works in 3 [NT 60521] publications in 1 [NT 60522] languages

[NT 60480] Titles

Principles of model checking [NT 59711] by: Baier, Christel; Katoen, Joost-Pieter ([NT 1579] Language materials, printed)

Data flow analysis : theory and practice [NT 59711] by: Karkare, Bageshri; Sanyal, Amitabha; Khedker, Uday P. ([NT 1579] Language materials, printed)

Verification and validation for quality of UML 2.0 models [NT 59711] by: Unhelkar, Bhuvan ([NT 1579] Language materials, printed)