94 citations · 95 across the 3 of their papers we have counts for
1 paper · 1 filter
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…