Reading: Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346) full version

You are about to access our book library "Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th ... (Lecture Notes in Computer Science, 4346) full version" .