𝔖 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) - A Dynamic Logic for Deductive Verification of Concurrent Programs

✍ Scribed by Beckert, Bernhard; Klebanov, Vladimir

Book ID: 126717241
Publisher: IEEE
Year: 2007
Weight: 354 KB
Category: Article
ISBN-13: 9780769528847
DOI: 10.1109/SEFM.2007.1

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) - 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) - 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) - 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) - 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) - Formal verification of tamper-evident storage for e-voting

✍ Cansell, Dominique; Gibson, J. Paul; Mery, Dominique 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 413 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