skip to main content

The ELAN Environment:: a Rewriting Logic Environment based on ASF+SDF Technology—System Demonstration

van den Brand, M.G.J. ; Moreau, P.-E. ; Ringeissen, C.

Electronic notes in theoretical computer science, 2002-07, Vol.65 (3), p.50-56

Elsevier B.V

Texto completo disponível

Citações Citado por

Buscando em bases de dados remotas. Favor aguardar.