Exportar referência
APA
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, (2015). Deductive Verification of Parallel Programs Using Why3
. 8th Interaction and Concurrency Experience (ICE 2015), 128-142
IEEE
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, "Deductive Verification of Parallel Programs Using Why3
" in 8th Interaction and Concurrency Experience (ICE 2015), , 2015, pp. 128-142,
doi: 10.4204/eptcs.189.11
BIBTEX
@InProceedings{34379,
author = {César Santos and Francisco Martins and Vasco Thudichum Vasconcelos},
title = {Deductive Verification of Parallel Programs Using Why3
},
booktitle = {8th Interaction and Concurrency Experience (ICE 2015)},
year = 2015,
pages = {128-142},
address = {},
publisher = {}
}