Refining Unification with Abstraction

Ahmed Bhayat, Konstantin Korovin, Laura Kovacs, Johannes Schoisswohl

Formal Methods

Research output: Chapter in Book/Conference proceeding › Chapter › peer-review

1 results

Finished
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research