"Proving the security of software-intensive embedded systems by abstract ..."

Marc Chevalier (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics