Language: English

Login

Create an account

Languages

English (1)

Jump To : Overview | Titles | Subjects

Katoen, Joost-Pieter

Overview

Works:	1 works in 1 publications in 1 languages

Titles

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

Subjects

Computer systems - Verification. Computer software - Verification. 004.24

Change password

Login