[IEEE 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - Tokyo, Japan (2018.7.23-2018.7.27)] 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC) - A Generalized Approach to Verification Condition Generation
Belo Lourenco, Claudio, Frade, Maria Joao, Nakajima, Shin, Sousa Pinto, JorgeYear:
2018
Language:
english
DOI:
10.1109/compsac.2018.00032
File:
PDF, 10 KB
english, 2018