Formal methods and software engineering: 13th International Conference on Formal Engineeri… by Qin, Shengchao, International Conference on Formal Engineering Methods (13, 2011, Durham) fromLecture Notes in Computer Science 0 Type: Book
