Adapting to Different Types of Target Audience in Teaching Formal Methods. - Antonio Cerone; Karl Reiner Lermer (FMFun, 2019)