Victor Vidigal Ribeiro, Daniela Soares Cruzes, Guilherme Horta Travassos. A Perception of the Practice of Software Security and Performance Verification. In 25th Australasian Software Engineering Conference, ASWEC 2018, Adelaide, Australia, November 26-30, 2018. pages 71-80, IEEE Computer Society, 2018. [doi]
Abstract is missing.