Navegar

Colección

Datos Estadísticas

Lista de

2000
687
ACM Transactions on Software Engineering and Methodology
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