𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - A comparative study between linear programming verification (LPV) and other verification methods

✍ Scribed by Devulder, S.; Lambert, J.-L.

Book ID: 126678158
Publisher: IEEE Comput. Soc
Year: 1999
Weight: 61 KB
Category: Article
ISBN-13: 9780769504155
DOI: 10.1109/ASE.1999.802328

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - Fixing some transformation problems

✍ Biggerstaff, T.J. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 791 KB

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - Towards adaptive web agents

✍ Murdock, J.W.; Goel, A.K. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 40 KB

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - Enhancing annotation visibility for software inspection

✍ Stein, M.V.; Heimdahl, M.P.E.; Riedl, J.T. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 36 KB

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - Evolving object-oriented designs with refactorings

✍ Tokuda, L.; Batory, D. 📂 Article 📅 1999 🏛 IEEE Comput. Soc 🌐 English ⚖ 44 KB

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - Advanced modelling and verification techniques applied to a cluster file system

✍ Pecheur, C. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 100 KB

[IEEE Comput. Soc 14th IEEE Internationa

[IEEE Comput. Soc 14th IEEE International Conference on Automated Software Engineering - Cocoa Beach, FL, USA (12-15 Oct. 1999)] 14th IEEE International Conference on Automated Software Engineering - An integration of deductive retrieval into deductive synthesis

✍ Fischer, B.; Whittle, J. 📂 Article 📅 1999 🏛 IEEE Comput. Soc ⚖ 142 KB