Andreea Vescan. Does learning by doing have a positive impact on teaching model checking?. In Benoît Vanderose, Benoît Frénay, Julie Henry, Xavier Devroey, editors, Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, EASEAI@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019. pages 27-34, ACM, 2019. [doi]
Abstract is missing.