Equational abstractions

José Meseguer, Miguel Palomino, Narciso Martí-Oliet

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Equational abstractions'. Together they form a unique fingerprint.