Formal Methods Applications And Technology 11th International Workshop On Formal | Desertcart BAHRAIN
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)