94 citations · 95 across the 3 of their papers we have counts for
1 paper · 2 filters
Alastair F. Donaldson
For the first twelve years of my career in computer science I mainly worked on formal methods. I had been drawn to the field as an undergraduate by its promise of a way to build so…