Using Formal Methods: if you're so smart how come you ain't rich?

Ed Brinksma

Browse the full FORTE paper archive.