Sciweavers

ENTCS
2002

Correct and Complete (Positive) Strategy Annotations for OBJ

13 years 11 months ago
Correct and Complete (Positive) Strategy Annotations for OBJ
María Alpuente, Santiago Escobar, Salvador
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where ENTCS
Authors María Alpuente, Santiago Escobar, Salvador Lucas
Comments (0)