𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A framework for program development based on schematic proof

✍ Scribed by Basin, D.; Bundy, A.; Kraan, I.; Matthews, S.

Book ID: 126631904
Publisher: IEEE Comput. Soc. Press
Year: 1993
Weight: 976 KB
Category: Article
ISBN-13: 9780818643606
DOI: 10.1109/IWSSD.1993.315502

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A taxonomy of inheritance semantics

✍ Faulstich-Brady, A. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 916 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Specification and refinement of a message router

✍ Cunningham, H.C.; Yinxiu Cai, 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 951 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Towards extensible graphical formalisms

✍ Ghezzi, C.; Pezze, M. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 675 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Design and validation of a message-passing system

✍ Fuyau Lin, 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 798 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - A Petri-net-based approach to real-time program analysis

✍ Buy, U.; Sloan, R. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 471 KB

[IEEE Comput. Soc. Press 1993 IEEE 7th I

[IEEE Comput. Soc. Press 1993 IEEE 7th International Workshop on Software Specification and Design - Redondo Beach, CA, USA (6-7 Dec. 1993)] Proceedings of 1993 IEEE 7th International Workshop on Software Specification and Design - Predicting operational behaviour of abstract programs during formal developments

✍ Ait-Ameur, Y. 📂 Article 📅 1993 🏛 IEEE Comput. Soc. Press ⚖ 958 KB