28585 articles – 22070 Notices  [english version]
.:. Consultation > Par auteur > Adamek .:.
1 document
fulltext access Carmen: Software Component Model Checker
Plsek A., Adamek J.
Dans 4th International Conference on the Quality of Software Architecture (QoSA'08) (2008) 71-85 [inria-00282373 - version 1]