Peter Alexander Lindsay

Language : anglais
Gender : masculin
Note :
En poste : The University of Queensland, Software Verification Research Centre, Brisbane, Australie (en 2002)
ISNI : ISNI 0000 0000 8461 4624

Activities of Peter Alexander Lindsay (1 resources in data.bnf.fr)

Textual works (1)

FME 2002, formal methods--getting IT right with Peter Alexander Lindsay as Editor

See also