PakCat catalogue record

Concepts, algorithms and tools for model checking - (E-BOOK)

By Katoen, Joost-Pieter

Bibliographic details

Subjects

E-BOOK