𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 2013 ACM SIGAda annual conference - Pittsburgh, Pennsylvania, USA (2013.11.10-2013.11.14)] Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology - HILT '13 - Formal methods

✍ Scribed by Wing, Jeannette M.

Book ID: 121835240
Publisher: ACM Press
Year: 2013
Weight: 353 KB
Category: Article
ISBN: 1450324673
DOI: 10.1145/2527269.2527291

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 2004 annual ACM SIGAda in

[ACM Press the 2004 annual ACM SIGAda international conference - Atlanta, Georgia, USA (2004.11.14-2004.11.18)] Proceedings of the 2004 annual ACM SIGAda international conference on Ada The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies - SIGAda '04 - Cheddar

✍ Singhoff, F.; Legrand, J.; Nana, L.; Marc�, L. 📂 Article 📅 2004 🏛 ACM Press 🌐 English ⚖ 177 KB

[ACM Press the 13th annual ACM SIGITE co

[ACM Press the 13th annual ACM SIGITE conference - Orlando, Florida, USA (2013.10.10-2013.10.12)] Proceedings of the 13th annual ACM SIGITE conference on Information technology education - SIGITE '13 - Infusing social science into cybersecurity education

✍ Stockman, Mark 📂 Article 📅 2013 🏛 ACM Press ⚖ 417 KB

[ACM Press the 22nd ACM international co

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - Web-KR 2013

✍ Zeng, Yi; Kotoulas, Spyros; Huang, Zhisheng 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 424 KB

[ACM Press the 22nd ACM international co

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - pEDM

✍ Dannecker, Lars; Rösch, Philipp; Fischer, Ulrike; Gaumnitz, Gordon; Lehner, Wolf 📂 Article 📅 2013 🏛 ACM Press ⚖ 868 KB

[ACM Press the 22nd ACM international co

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - pEDM

✍ Dannecker, Lars; Rösch, Philipp; Fischer, Ulrike; Gaumnitz, Gordon; Lehner, Wolf 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 868 KB

[ACM Press the 22nd ACM international co

[ACM Press the 22nd ACM international conference - San Francisco, California, USA (2013.10.27-2013.11.01)] Proceedings of the 22nd ACM international conference on Conference on information & knowledge management - CIKM '13 - ESTHETE

✍ Goyal, Rahul; Malla, Ravee; Bagchi, Amitabha; Mehta, Sameep; Ramanath, Maya 📂 Article 📅 2013 🏛 ACM Press 🌐 English ⚖ 710 KB