Refinement, Semantics, Languages and Applications
Monograph (January 2018)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Monograph (January 2018)
Article in Software Practice and Experience (March 2001)
Article in Formal Aspects of Computing (January 1996)