Formal Verificationin the Real World Author(s): Jonathan Bromley and Jason Sprott Location: Europe Year: 2017 Type: Presentation Format: pdf Download
