A VDM-based Approach for Specifying and Testing Requirements of Web-applications
Sengupta, Souvik, Dasgupta, RanjanVolume:
46
Year:
2015
Language:
english
Journal:
Procedia Computer Science
DOI:
10.1016/j.procs.2015.02.146
File:
PDF, 347 KB
english, 2015