![](/img/cover-not-exists.png)
Use of Semi-Formal and Formal Methods in Requirement Engineering of ILMS
Sengupta, Souvik, Dasgupta, RanjanVolume:
40
Language:
english
Journal:
ACM SIGSOFT Software Engineering Notes
DOI:
10.1145/2693208.2693235
Date:
February, 2015
File:
PDF, 1000 KB
english, 2015