Authors

Van den Berghe, Alexander; Yskout, Koen; Joosen, Wouter; Scandariato, Riccardo

Conference

Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering - FormaliSE

Title

A model for provably secure software design

Publication type

Proceedings paper