Encouraging the Uptake of Formal Methods Training in an Industrial Context.

Michael G. Hinchey

Browse the full ISoLA paper archive.