You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra
Relational and Algebraic Methods in Computer Science
Springer, Cham, October 2018
Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock