Items where Person is "Bourdil, Pierre-Alain"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemBourdil, Pierre-Alain and Jenn, Eric and Dal Zilio, Silvano. Building confidence on formal verification models. (2016) In: SafeComp 2016 ( International conference on Computer Safety, Reliability and security), 21 September 2016 - 23 September 2016 (Trondheim, Norway). |