Latella D., Massink M., Majzik I.
Semplifield formal
An abstract is not available.
@misc{oai:it.cnr:prodotti:412440, title = {A semplifield formal operational semantics for a subset of UML statechert diagrams}, author = {Latella D. and Massink M. and Majzik I.}, year = {1998} }