Specification refinements: Calculi, tools, and applications

Mihai Codescu, Till Mossakowski, Donald Sannella, Andrzej Tarlecki

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

1 results
- Last Name(descending)

Don Sannella
- dtsinf.ed.acuk
- School of Informatics - PERSONAL CHAIR IN COMPUTER SCIENCE
- Laboratory for Foundations of Computer Science
- Foundations of Computation
Person: Academic: Research Active