King's College London

Research portal

Dr Hana Chockler

Reader in Formal Methods

Contact details:

Telephone: 82928

ORCID: 0000-0003-1219-0713

Scopus Author ID: 57204843574

Department

Research Group

View all (69) »

Top downloads

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454