Formal Verification of a Programmable Hypersurface.

Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou, Andreas Pitsillides

Browse the full FMICS paper archive.