A formal composition framework


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