Are Formal Methods Relevant?

Ian J. Hayes, Keijiro Araki, David J. Duke, Val E. Veraart

Browse the full APSEC paper archive.