Aysu Betin-Can, Tevfik Bultan. Highly dependable concurrent programming using design for verification. Formal Asp. Comput., 19(2):243-268, 2007. [doi]
@article{Betin-CanB07,
title = {Highly dependable concurrent programming using design for verification},
author = {Aysu Betin-Can and Tevfik Bultan},
year = {2007},
doi = {10.1007/s00165-006-0017-0},
url = {http://dx.doi.org/10.1007/s00165-006-0017-0},
tags = {program verification, programming, design},
researchr = {https://researchr.org/publication/Betin-CanB07},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {19},
number = {2},
pages = {243-268},
}