Sciweavers

CADE
2003
Springer
15 years 10 months ago
Equational Abstractions
José Meseguer, Miguel Palomino, Narciso Mar...