A Formal Semantics for P-Code. - Nico Naus; Freek Verbeek; Dale Walker; Binoy Ravindran (VSTTE, 2022)