Navegar

Colección

Datos Estadísticas

Lista de

2005
867
ACM Transactions on Software Engineering and Methodology
1
"Reasoning about static and dynamic properties in alloy: A purely relational approach" (2005) Frias, M.F.;López Pombo, C.G.;Baum, G.A. (...)Maibaum, T.S.E. ACM Transactions on Software Engineering and Methodology. 14(4):478-526