Navegar

Colección

Datos Estadísticas

Lista de

2014
1426
Software - Practice and Experience
3
"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience. 44(3):259-260
"Developing tools as plug-ins: TOPI 2012 special issue" (2014) Garbervetsky, D.; Kim, S. Software - Practice and Experience
"Practical JFSL verification using TACO" (2014) Chicote, M.; Ciolek, D.; Galeotti, J.P. Software - Practice and Experience. 44(3):317-334