Formal Methods And Software Engineering: 17Th International Conference On Formal Engineering Methods, Icfem 2015
by Michael Butler /
2016 / English / PDF
25.2 MB Download