Formal Methods Foundations and Applications Lecture Notes in Computer Science | lit.salon