Refinement, Semantics, Languages and Applications
Monograph (January 2018)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Monograph (January 2018)
Conference proceeding (July 2017)
Book chapter in Monographs in Theoretical Computer Science. An EATCS Series (December 2007)