Navegar

Colección

Datos Estadísticas

Lista de

ACM Transactions on Software Engineering and Methodology
7
2000
1
"Static checking of system behaviors using derived component assumptions" (2000) Inverardi, P.; Wolf, A.L.; Yankelevich, D. ACM Transactions on Software Engineering and Methodology. 9(3):239-272