𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Verifying the Mondex Case Study

✍ Scribed by Schmitt, Peter H.; Tonin, Isabel

Book ID: 126734479
Publisher: IEEE
Year: 2007
Weight: 308 KB
Category: Article
ISBN-13: 9780769528847
DOI: 10.1109/SEFM.2007.47

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Verification of Object Relational Maps

✍ Mehra, Krishna K.; Rajamani, Sriram K.; Sistla, A. Prasad; Jha, Sumit K. 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 398 KB

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Automatically Proving Concurrent Programs Correct

✍ Cook, Byron 📂 Article 📅 2007 🏛 IEEE ⚖ 233 KB

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Formalising Design Patterns in Predicate Logic

✍ Bayley, Ian 📂 Article 📅 2007 🏛 IEEE ⚖ 693 KB

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Model-driven architecture for cancer research

✍ Calinescu, Radu; Harris, Steve; Gibbons, Jeremy; Davies, Jim; Toujilov, Igor; Na 📂 Article 📅 2007 🏛 IEEE ⚖ 383 KB

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Problem Oriented Software Engineering: A design-theoretic framework for software engineering

✍ Hall, Jon G.; Rapanotti, Lucia; Jackson, Michael 📂 Article 📅 2007 🏛 IEEE ⚖ 339 KB

[IEEE Fifth IEEE International Conferenc

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Formal verification of tamper-evident storage for e-voting

✍ Cansell, Dominique; Gibson, J. Paul; Mery, Dominique 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 413 KB