Publisher
Springer Nature Switzerland
Reference20 articles.
1. Allen, D.E., Donham, R.S., Bernhardt, S.A.: Problem-based learning. New Dir. Teach. Learn. 2011(128), 21–29 (2011)
2. Barrows, H.: The essentials of problem-based learning. J. Dent. Educ. 62(9), 630–633 (1998)
3. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic Model Checking without BDDs. In: Tools and Algorithms for the Construction and Analysis of Systems, vol. 1579 of LNCS. 1999, pp. 193–207 (1999)
4. Cavada, R., et al.: The nuXmv symbolic model checker. In: Proceedings of CAV (2014), vol. 8559 of LNCS, pp. 334–342 (2014)
5. Department of Education and Training, State of Victoria. High impact teaching strategies: excellence in teaching and learning. ISBN: 978-0-7594-0820-3 (2020)