Authors of the Book

 

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

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