Navegar

Colección

Datos Estadísticas

Lista de

Frias, Marcelo
22
7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010
2
"Dynamite 2.0: New features based on UnSAT-core extraction to improve verification of software requirements" (2010) Moscato, M.M.; López Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:275-289
"Complete calculi for structured specifications in fork algebra" (2010) Lopez Pombo, C.G.; Frias, M.F. 7th International Colloquium on Theoretical Aspects of Computing, ICTAC 2010. 6255 LNCS:290-305