Exploring the Role of Logic and Formal Methods in Information Systems Education.

Anna Zamansky, Eitan Farchi

Browse the full SEFM paper archive.