Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program.

Fuyuki Ishikawa, Nobukazu Yoshioka, Yoshinori Tanabe

Browse the full FM paper archive.