𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Light-weight theorem proving for debugging and verifying units of code

✍ Scribed by Deharbe, D.; Ranise, S.

Book ID: 126655318
Publisher: IEEE
Year: 2003
Weight: 441 KB
Category: Article
ISBN-13: 9780769519494
DOI: 10.1109/SEFM.2003.1236224

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Formalizing the framework design language F-UML

✍ Bouassida, N.; Ben-Abdallah, H.; Gargouri, F.; Hamadou, A.B. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 502 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Refinement operators and information flow security

✍ Bossi, A.; Focardi, R.; Piazza, C.; Rossi, S. 📂 Article 📅 2003 🏛 IEEE ⚖ 317 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Behavioral consistency validation of UML diagrams

✍ Litvak, B.; Tyszberowicz, S.; Yehudai, A. 📂 Article 📅 2003 🏛 IEEE ⚖ 270 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - A formal model for trust in dynamic networks

✍ Carbone, M.; Nielsen, M.; Sassone, V. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 273 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Formal verification of ASM designs using the MDG tool

✍ Gawanmeh, A.; Tahar, S.; Winter, K. 📂 Article 📅 2003 🏛 IEEE ⚖ 307 KB

[IEEE 1st IEEE International Conference

[IEEE 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03 - Brisbane, Queensland, Australia (2003.09.22-2003.09.27)] First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. - Animation of Object-Z specifications using a Z animator

✍ McComb, T.; Smith, G. 📂 Article 📅 2003 🏛 IEEE ⚖ 354 KB