Farhad Arbab, Marjan Sirjani. Applications of Formal Methods to System Design and Verification. J. UCS, 13(13):1970-1971, 2007. [doi]
@article{ArbabS07,
title = {Applications of Formal Methods to System Design and Verification},
author = {Farhad Arbab and Marjan Sirjani},
year = {2007},
url = {http://www.jucs.org/jucs_13_13/applications_of_formal_methods},
tags = {design},
researchr = {https://researchr.org/publication/ArbabS07},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {13},
number = {13},
pages = {1970-1971},
}