alastairreid

Researcher working on formal specification and verification. (This is my personal account)

IntelCambridge, United Kingdom