Lubos Brim
Identifiers
- Open LibraryOL9690253A
Top Subjects
- Computer programs (1)
- Computer software, verification (1)
- Computer software, reliability (1)
- Software engineering (1)
Books by Lubos Brim
Total count: 2
-
CONCUR 2002 - Concurrency Theory13th International Conference, Brno, Czech Republic, August 20-23, 2002. ProceedingsSpringer London, Limited2003-01-01
-
Formal Methods : Applications and Technology11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised SelectedSpringer London, Limited2007-01-01