arrow
返回
C

Carlos G. López Pombo

University of Buenos Aires

10H指数
47论文数
455被引数
收录论文 4
发表时间
Dynamite: A Tool for the Verification of Alloy Models Based on PVS
err2014-04-04
err4
errOAAI
errMoscato, Mariano M.; Lopez Pombo, Carlos G.; Frias, Marcelo F.
err分享
err收藏
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds
err2013-09-01
err40
errOAAI
errGaleotti, Juan P.; Rosner, Nicolas; Lopez Pombo, Carlos G.; Frias, Marcelo F.
err分享
err收藏
Efficient analysis of DynAlloy specifications
err2007-12-12
err14
PREAI
errFrias, Marcelo F.; Pombo, Carlos G. Lopez; Galeotti, Juan P.; Aguirre, Nazareno M.
err分享
err收藏