Cite
HARVARD Citation
Roy, S. et al. (2016). A simplification of a real‐time verification problem. Software testing, verification & reliability. pp. 548-571. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Roy, S. et al. (2016). A simplification of a real‐time verification problem. Software testing, verification & reliability. pp. 548-571. [Online].