Formal methods for software security (invited talk)
Origin | Files produced by the author(s) |
---|
Loading...
INRIA.HAL.SCIENCE Web Portal Publications, software... of Inria fellow Academics |
Origin | Files produced by the author(s) |
---|
Thomas Jensen : Connect in order to contact the contributor
https://inria.hal.science/hal-01658835
Submitted on : Thursday, December 7, 2017-7:00:06 PM
Last modification on : Wednesday, November 6, 2024-11:12:05 AM