海量图书期刊资源，随时随地畅享阅读乐趣
[Lecture Notes in Computer Science] Software Engineering and Formal Methods Volume 8938 || Using Z in the Development and Maintenance of Computational Models of Real-World SystemsCanal, Carlos; Idani, Akram · 2015