In case you are using the book Reactive Systems: Modelling, Specification and Verification for one of your courses, I'd love to hear from you! I'll then mention your course on the list of classes that use the book and you'll be informed once we make supplementary material available on the book's website (or via other channels).
I look forward to hearing from you.
No comments:
Post a Comment