Open AccessFormal methods for software security (invited talk)
Author(s) -
Thomas Jensen
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , software security assurance , software , computer security , formal methods , software engineering , information security , programming language , security service