Paul E. Black, Phillip J. Windley. Verifying Resilient Software. In HICSS (3). pages 262-266, 1997. [doi]
@inproceedings{BlackW97, title = {Verifying Resilient Software}, author = {Paul E. Black and Phillip J. Windley}, year = {1997}, url = {http://csdl.computer.org/comp/proceedings/hicss/1997/7734/05/7734050262abs.htm}, tags = {e-science}, researchr = {https://researchr.org/publication/BlackW97}, cites = {0}, citedby = {0}, pages = {262-266}, booktitle = {HICSS (3)}, }