Authors of the Book

 

To contact the authors, send an email to rsbook (at) cs.aau.dk.

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