DEPARTMENT: Hello world

What's formal software verification?

By Oana Niculaescu, July 2019

PDF | HTML | In the Digital Library