Souvik Sengupta, Ranjan Dasgupta. Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System. In Rituparna Chaki, Khalid Saeed, Sankhayan Choudhury, Nabendu Chaki, editors, Applied Computation and Security Systems - ACSS 2014 - 1st International Doctoral Symposium on Applied Computation and Security Systems (ACSS), April, 18-20, 2014, Kolkata, India, Proceedings, Volume Two. pages 53-65, Springer, 2014. [doi]
Abstract is missing.