October 10, 2019 Newsletter October 2019 newsletter The latest newsletter incl. information on our FM Week tutorial on Stream-based Runtime Verification is now available! PDF