Andrew D. GordonAndrew Martin (computer scientist)Augusto SampaioBernhard Steffen (computer scientist)Bill RoscoeCarroll Morgan (computer scientist)Cas CremersCharles Leonard HamblinChris ToftsChristopher StracheyCliff Jones (computer scientist)Daniel Jackson (computer scientist)David GriesDavid May (computer scientist)David Watt (computer scientist)Don SannellaDonald Angus MacKenzieE. Allen EmersonEric HehnerEvert Willem BethF. X. ReidFaron MollerFred B. SchneiderG. Mike ReedGreg Nelson (computer scientist)Gunther Schmidt
subject
Wikipage page ID
Wikipage revision ID
681,414,295
type
label
Formal methods people
@en
prefLabel
Formal methods people
@en