Evaluating Collaborative Learning Using Community of Inquiry Framework for a Blended Learning Formal Methods Course. - Saad Zafar; Naurin Farooq Khan; Seema Hussain (ICL (1), 2017)