Lista de

2002
821
ACM Transactions on Software Engineering and Methodology
1
"A formal design notation for real-time systems" (2002) Felder, M.; Pezzè, M. ACM Transactions on Software Engineering and Methodology. 11(2):149-190