Specification refinements: Calculi, tools, and applications

Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'Specification refinements: Calculi, tools, and applications'. Together they form a unique fingerprint.

Computer Science