Shigeru Kusakabe, Yoichi Omori, Keijiro Araki. Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods. In Andreas Bollin, Tiziana Margaria, Isabelle Perseil, editors, Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, FMSEE&T 2015, co-located with 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, June 23, 2015. Volume 1385 of CEUR Workshop Proceedings, pages 51-58, CEUR-WS.org, 2015. [doi]
Abstract is missing.