Gillian a Multi language Platform for Compositional (...) | Philippa Gardner | Code Mesh V 2020

Gillian: a Multi-language Platform for Compositional Symbolic Analysisby | Philippa Gardner - Professor in the Department of Computing at Imperial College London

ABSTRACT

• Follow us on social:

• Looking for a unique learning experience?
Attend the next Code Sync conference near you!

• SUBSCRIBE TO OUR CHANNEL