Anna Zamansky, Eitan Farchi. Exploring the Role of Logic and Formal Methods in Information Systems Education. In Domenico Bianculli, Radu Calinescu, Bernhard Rumpe, editors, Software Engineering and Formal Methods - SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015, Revised Selected Papers. Volume 9509 of Lecture Notes in Computer Science, pages 68-74, Springer, 2015. [doi]
Abstract is missing.