𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Nullness Analysis in Boolean Form

✍ Scribed by Spoto, Fausto

Book ID: 126695244
Publisher: IEEE
Year: 2008
Weight: 370 KB
Category: Article
ISBN: 0769534376
DOI: 10.1109/SEFM.2008.8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Algebraic View Reconciliation

✍ Höfner, Peter; Khedri, Ridha; Möller, Bernhard 📂 Article 📅 2008 🏛 IEEE ⚖ 320 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Extracting Conditional Confidentiality Policies

✍ Tschantz, Michael Carl; Wing, Jeannette M. 📂 Article 📅 2008 🏛 IEEE ⚖ 361 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Static Analysis of the Determinism of Multithreaded Programs

✍ Ferrara, Pietro 📂 Article 📅 2008 🏛 IEEE ⚖ 369 KB

[IEEE 2008 Sixth IEEE International Conf

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Modeling Component Connectors: Synchronisation and Context-Dependency

✍ Izadi, Mohammad; Bonsangue, Marcello M.; Clarke, Dave 📂 Article 📅 2008 🏛 IEEE ⚖ 518 KB

[IEEE 2008 IEEE International Conference

[IEEE 2008 IEEE International Conference on Software Reliability Engineering Workshops, ISSRE Wksp - Seattle, WA, USA (2008.11.11-2008.11.14)] 2008 IEEE International Conference on Software Reliability Engineering Workshops (ISSRE Wksp) - Analysis and application of conditional software rejuvenation — A new approach

✍ Shetty, Hitesh; Nambiar, Manoj; Kalita, Hemanta 📂 Article 📅 2008 🏛 IEEE ⚖ 277 KB

[IEEE 2008 International Conference on C

[IEEE 2008 International Conference on Computer Science and Software Engineering - Wuhan, China (2008.12.12-2008.12.14)] 2008 International Conference on Computer Science and Software Engineering - Refactoring Formal Specifications in Object-Z

✍ Liu, Hui; Zhu, Bin 📂 Article 📅 2008 🏛 IEEE ⚖ 170 KB