Buscar por Autor López Pombo, Carlos Gustavo
Mostrando resultados 1 a 3 de 3
| Fecha de publicación | Título | ???itemlist.dc.creator.*??? | ???itemlist.dc.provenance??? |
|---|---|---|---|
| 13-jun-2014 | Cómputo secuencial eficiente de cotas ajustadas, y su impacto en la performance de los análisis de programas basados en SAT | Ponzio, Pablo Daniel | Facultad de Ciencias Exactas y Naturales de la UBA |
| 2014 | Especificación formal y verificación de propiedades temporales de procesos de negocios | Regis, Germán Enrique | Facultad de Ciencias Exactas y Naturales de la UBA |
| 2007 | Fork algebras como herramienta de razonamiento entre especificaciones heterogéneas | López Pombo, Carlos Gustavo | Facultad de Ciencias Exactas y Naturales de la UBA |