Lista de

2009
1185
12th Brazilian Symposium on Formal Methods, SBMF 2009
1
"Partial behaviour modelling: Foundations for incremental and iterative model-based software engineering" (2009) Uchitel, S. 12th Brazilian Symposium on Formal Methods, SBMF 2009. 5902 LNCS:17-22