![[ACM Press the 1st ACM SIGSOFT symposium - Los Angeles, California, United States (1993.12.08-1993.12.10)] Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '93 - A framework for programming and formalizing concurrent objects]()
[ACM Press the 1st ACM SIGSOFT symposium - Los Angeles, California, United States (1993.12.08-1993.12.10)] Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '93 - A framework for programming and formalizing concurrent objectsBahsoun, Jean Paul; Merz, Stephan; Servieres, Corinne · 1993