𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[ACM Press the 10th ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.23)] Proceedings of the 10th ACM international conference on Generative programming and component engineering - GPCE '11 - Towards automatic generation of formal specifications to validate and verify reliable distributed systems

✍ Scribed by Slåtten, Vidar; Kraemer, Frank Alexander; Herrmann, Peter


Book ID
121285840
Publisher
ACM Press
Year
2011
Weight
793 KB
Category
Article
ISBN
1450306896

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES