David A. Carrington, Phil Stocks. A Tale of Two Paradigms: Formal Methods and Software Testing. In Z User Workshop. pages 51-68, 1994.
@inproceedings{CarringtonS94,
title = {A Tale of Two Paradigms: Formal Methods and Software Testing},
author = {David A. Carrington and Phil Stocks},
year = {1994},
tags = {testing},
researchr = {https://researchr.org/publication/CarringtonS94},
cites = {0},
citedby = {0},
pages = {51-68},
booktitle = {Z User Workshop},
}