Jean-baptiste Jeannin [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Correct by Construction Networks Using Stepwise Refinement NSDI-2017 - boston,usa
DKAL*: Constructing Executable Specifications of Authorization Protocols ESSoS-2013 - Paris ,France