Email Address * *
Name
Subject *
Message * Articles On Formal Methods People, including Donald Knuth, C. A. R. Hoare, Samson Abramsky, Christopher Strachey, David Turner (computer Scientist), Bill Roscoe, Joseph Goguen, Jonathan Bowen, Jean-raymond Abrial - 1244887781 - 9781244887787