ℹ️
🇬🇧
Search
Search for publications relevant for "softwarových"
softwarových
Publication
Class
Person
Publication
Programmes
Carmen - the software component model checker
Publication
2 people
Abstract
Carmen - the software component model checker, [http://www2.lifl.fr/~plsek/Projects/Carmen/]
People
person
RNDr. Jiří Adámek
Faculty of Mathematics and Physics
person
Aleš Plšek
Person without faculty affiliation
