Export
APA
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, (2015). Deductive Verification of Parallel Programs Using Why3. Electronic Proceedings in Theoretical Computer Science, 128-142
IEEE
César Santos, Francisco Martins, Vasco Thudichum Vasconcelos, "Deductive Verification of Parallel Programs Using Why3" in Electronic Proceedings in Theoretical Computer Science, , 2015, pp. 128-142,
doi: 10.4204/eptcs.189.11
BIBTEX
@InProceedings{50996,
author = {César Santos and Francisco Martins and Vasco Thudichum Vasconcelos},
title = {Deductive Verification of Parallel Programs Using Why3},
booktitle = {Electronic Proceedings in Theoretical Computer Science},
year = 2015,
pages = {128-142},
address = {},
publisher = {Open Publishing Association}
}