𝔖 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) - Formalising Design Patterns in Predicate Logic

✍ Scribed by Bayley, Ian

Book ID: 126735228
Publisher: IEEE
Year: 2007
Weight: 693 KB
Category: Article
ISBN-13: 9780769528847
DOI: 10.1109/SEFM.2007.22

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) - Verifying the Mondex Case Study

✍ Schmitt, Peter H.; Tonin, Isabel 📂 Article 📅 2007 🏛 IEEE ⚖ 308 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) - 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) - A Dynamic Logic for Deductive Verification of Concurrent Programs

✍ Beckert, Bernhard; Klebanov, Vladimir 📂 Article 📅 2007 🏛 IEEE ⚖ 354 KB