Teaching and Learning Formal Methods (Library and Information Science) | lit.salon