A formal composition framework

PDF

Date
Jan 29, 2020
Location
At CISPA and TU Wien
Charlie Jacomme
Charlie Jacomme
Full Time Researcher (CR) at Inria Nancy