On observational equivalence and algebraic specification

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'On observational equivalence and algebraic specification'. Together they form a unique fingerprint.

Mathematics