Course Material

 

Here we provide different resources for teacher’s using our book:

© 2014 Reactive Systems: Modelling, Specification and Verification Suffusion theme by Sayontan Sinha