You are here

Abstract Correction of OBJ-like Programs

M. Alpuente, Ballis, D., Escobar, S., Falaschi, M., and Lucas, S., “Abstract Correction of OBJ-like Programs”, Informl Proceeding of APPIA GULP PRODE 2003 (AGP 2003). pp. 422–433, 2003.