𝔖 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
DOI: 10.1145/2047862.2047888

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 10th ACM international co

[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 - Pragmatics for formal semantics

✍ Danvy, Olivier 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 551 KB

[ACM Press the 10th ACM international co

[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 - Application of model based development to flexible code generation

✍ Shubert, Gary J. 📂 Article 📅 2011 🏛 ACM Press 🌐 English ⚖ 109 KB

[ACM Press the 2011 ACM international co

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - HAWKEYE

✍ Tripp, Omer; Yorsh, Greta; Field, John; Sagiv, Mooly 📂 Article 📅 2011 🏛 ACM Press ⚖ 699 KB

[ACM Press the 2011 ACM international co

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Accentuating the positive

✍ Weeratunge, Dasarath; Zhang, Xiangyu; Jaganathan, Suresh 📂 Article 📅 2011 🏛 ACM Press ⚖ 707 KB

[ACM Press the 5th international confere

[ACM Press the 5th international conference - Portland, Oregon, USA (2006.10.22-2006.10.26)] Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06 - Refactoring product lines

✍ Alves, Vander; Gheyi, Rohit; Massoni, Tiago; Kulesza, Uirá; Borba, Paulo; Lucena 📂 Article 📅 2006 🏛 ACM Press ⚖ 372 KB

[ACM Press the ACM international confere

[ACM Press the ACM international conference companion - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '11 - Babylscript

✍ Iu, Ming-Yee Christopher 📂 Article 📅 2011 🏛 ACM Press ⚖ 474 KB