%0 Journal Article %1 McCaffrey16cacm %A McCaffrey, Caitie %D 2016 %J Communications of the ACM %K 01841 acm paper software network application test %N 2 %P 52--55 %R 10.1145/2844108 %T The Verification of a Distributed System %V 59 %X A practitioner's guide to increasing confidence in system correctness.

@article{McCaffrey16cacm, abstract = {A practitioner's guide to increasing confidence in system correctness.}, added-at = {2016-05-21T13:18:00.000+0200}, author = {McCaffrey, Caitie}, biburl = {https://www.bibsonomy.org/bibtex/2438479c9061ef7e702999ad3c59b8280/flint63}, doi = {10.1145/2844108}, file = {ACM Digital Library:2016/McCaffrey16cacm.pdf:PDF}, groups = {public}, interhash = {7cc77721c1cce9192550562c0f6fc0f4}, intrahash = {438479c9061ef7e702999ad3c59b8280}, issn = {0001-0782}, journal = {Communications of the ACM}, keywords = {01841 acm paper software network application test}, month = {#feb#}, number = 2, pages = {52--55}, timestamp = {2018-04-16T12:17:02.000+0200}, title = {The Verification of a Distributed System}, username = {flint63}, volume = 59, year = 2016 }