Title: Abstract State Machines Alloy B Vdm And Z Third International Conference Abz 2012 Pisa Italy June 1821 2012 Proceedings
Subjects: Machine learning, System design, Computer science, Computer software, Logic design, Computational complexity