Collaborated with:
J.Dohrau A.J.Summers C.Urban P.M.0001
Talks about:
program (1) permiss (1) infer (1) array (1)
Person: Severin Münger
DBLP: M=uuml=nger:Severin
Contributed to:
Wrote 1 papers:
- CAV-2018-DohrauSUM0 #array #source code
- Permission Inference for Array Programs (JD, AJS, CU, SM, PM0), pp. 55–74.