1 paper
Zoe Paraskevopoulou, Anja Petković Komel, Sophie Rain +2
This technical report contains the formal definitions and metatheory for the act specification and verification language. It documents the syntax, the operational pointer semantics…