Sciweavers

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