Hans Henrik Løvengreen

Associate Professor

Department of Applied Mathematics and Computer Science

Building 322 Room 110

45253763

hhlo@dtu.dk

0000-0001-6443-4957

concurrency verification