✦ LIBER ✦

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - Finding Invariant assertions for proving programs

✍ Scribed by Caplain, Michel

Book ID: 118128161
Publisher: ACM Press
Year: 1975
Weight: 394 KB
Volume: 0
Category: Article
DOI: 10.1145/800027.808436

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the international conference

[ACM Press the international conference - Los Angeles, California (1975.04.21-1975.04.23)] Proceedings of the international conference on Reliable software - - An interactive program verification system

✍ Good, Donald I.; London, Ralph L.; Bledsoe, W. W. 📂 Article 📅 1975 🏛 ACM Press ⚖ 949 KB

[ACM Press the 21st international confer

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Linux as a case study

✍ Bowman, Ivan T.; Holt, Richard C.; Brewster, Neil V. 📂 Article 📅 1999 🏛 ACM Press 🌐 English ⚖ 979 KB

[ACM Press the SIGCHI conference - Los A

[ACM Press the SIGCHI conference - Los Angeles, California, United States (1998.04.18-1998.04.23)] Proceedings of the SIGCHI conference on Human factors in computing systems - CHI '98 - A comparison of three selection techniques for touchpads

✍ MacKenzie, I. Scott; Oniszczak, Aleks 📂 Article 📅 1998 🏛 ACM Press 🌐 English ⚖ 934 KB

The conference program addresses where HCI has evolved, the context of HCI work and solutions and provides a forum for theory and processes that may be applied to solve real-world challenges. The CHI 98 Conference Proceedings contains the text of the Technical Papers presented at CHI 98. These Techn

[ACM Press the 15th International Confer

[ACM Press the 15th International Conference - Los Angeles, California (2010.07.24-2010.07.25)] Proceedings of the 15th International Conference on Web 3D Technology - Web3D '10 - Extending the Web3D

✍ Sopin, Ivan; Hamza-Lup, Felix G. 📂 Article 📅 2010 🏛 ACM Press ⚖ 291 KB

[ACM Press the first international confe

[ACM Press the first international conference - Los Angeles, California, USA (2003.11.05-2003.11.07)] Proceedings of the first international conference on Embedded networked sensor systems - SenSys '03 - TOSSIM

✍ Levis, Philip; Lee, Nelson; Welsh, Matt; Culler, David 📂 Article 📅 2003 🏛 ACM Press 🌐 English ⚖ 420 KB

[ACM Press the Seventh ACM International

[ACM Press the Seventh ACM International Conference - Los Angeles, California (2012.11.05-2012.11.06)] Proceedings of the Seventh ACM International Conference on Underwater Networks and Systems - WUWNet '12 - Marine mammals and anthropogenic sound

✍ Hildebrand, John A. 📂 Article 📅 2012 🏛 ACM Press ⚖ 34 KB