Aline Brum Loreto;Leila Ribeiro;Laira Vieira Toscani
-;-;-
A formal framework for the development of concurrent object-based systems
Formal Methods in Software and Systems Modeling