Proof-carrying plans

Christopher Joseph Schwaab, Ekaterina Komendantskaya, Alisdair Hill, František Farka, Ronald Petrick, Joe Wells, Kevin Hammond

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 results

Finished
TeamPlay: H2020 ICT-5 Teamplay
Brown, C. M. (PI)
European Commission
1/01/18 → 31/12/20
Project: Standard
Discovery: Pattern Discovery and Program: Discovery: Pattern Discovery and Program Shaping for Manycore Systems
Thomson, J. D. (PI), Hammond, K. (CoI) & Sarkar, S. (CoI)
EPSRC
1/07/17 → 31/12/20
Project: Standard