Formal Specification Level: Concepts, Methods, And Algorithms
by Mathias Soeken /
2014 / English / PDF
7.2 Mb Download