1 paper
Andrea Veneziano, Samuel Chassot
Smart infrastructures uses are growing and with them the need for dependability and correctness. To provide better correctness guarantees and bring formal verification into the equ…