[ACM Press the 2nd FME Workshop - Hyderabad, India (2014.06.03-2014.06.03)] Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering - FormaliSE 2014 - Generating supportive hypotheses in introducing formal methods using a software processes improvement model
Kusakabe, Shigeru, Lin, Hsin-Hung, Omori, Yoichi, Araki, KeijiroYear:
2014
Language:
english
DOI:
10.1145/2593489.2593497
File:
PDF, 1.43 MB
english, 2014