Lista de

10th International Symposium on Formal Methods for Components and Objects, FMCO 2011
1
2013
1
"A survey on basic connectors and buffers" (2013) Bruni, R.; Melgratti, H.; Montanari, U. 10th International Symposium on Formal Methods for Components and Objects, FMCO 2011. 7542 LNCS:49-68