Gabriel A. Baum

Publication Activity (10 Years)

Years Active: 1998-2005
Publications (10 Years): 0

Publications

Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
Pablo E. Martínez López, Gabriel A. Baum
Fork Algebraic Datatypes. Log. J. IGPL 6 (4) (1998)