%0 Conference Paper %1 conf/acss/SenguptaD14 %A Sengupta, Souvik %A Dasgupta, Ranjan %B ACSS (2) %D 2014 %E Chaki, Rituparna %E Saeed, Khalid %E Choudhury, Sankhayan %E Chaki, Nabendu %I Springer %K dblp %P 53-65 %T Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System. %U http://dblp.uni-trier.de/db/conf/acss/acss2014-2.html#SenguptaD14 %@ 978-81-322-1988-0

@inproceedings{conf/acss/SenguptaD14, added-at = {2018-05-28T00:00:00.000+0200}, author = {Sengupta, Souvik and Dasgupta, Ranjan}, biburl = {https://www.bibsonomy.org/bibtex/21f98b0b390f508924e59171e27a6db49/dblp}, booktitle = {ACSS (2)}, crossref = {conf/acss/2014-2}, editor = {Chaki, Rituparna and Saeed, Khalid and Choudhury, Sankhayan and Chaki, Nabendu}, ee = {https://doi.org/10.1007/978-81-322-1988-0_4}, interhash = {028db6cbb9bf8a5858a978ea84bf1e3c}, intrahash = {1f98b0b390f508924e59171e27a6db49}, isbn = {978-81-322-1988-0}, keywords = {dblp}, pages = {53-65}, publisher = {Springer}, timestamp = {2019-01-25T11:38:52.000+0100}, title = {Using Semiformal and Formal Methods in Software Design: An Integrated Approach for Intelligent Learning Management System.}, url = {http://dblp.uni-trier.de/db/conf/acss/acss2014-2.html#SenguptaD14}, year = 2014 }