Computer software - Verification.

Overview

Works:	3 works in 3 publications in 1 languages

Titles

Principles of model checking by: Baier, Christel; Katoen, Joost-Pieter (Language materials, printed)

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

Verification and validation for quality of UML 2.0 models by: Unhelkar, Bhuvan (Language materials, printed)