Vol-1384⫷ Vol-1385 ⫸Vol-1386
urn:nbn:de:0074-1385-0


Vol-1385/paper7⫷Vol-1385/paper8⫸Vol-1385/paper9
Yoichi OmoriShigeru KusakabeKeijiro Araki

Well-defined Software Process as Vehicle to Understand Effectiveness of Formal Methods