Jan A. Bergstra. Four Notions of Fault for Program Specifications. Sci. Ann. Cuza Univ., 32(2):183-209, 2022. [doi]
@article{Bergstra22a,
title = {Four Notions of Fault for Program Specifications},
author = {Jan A. Bergstra},
year = {2022},
doi = {10.7561/SACS.2022.2.183},
url = {https://doi.org/10.7561/SACS.2022.2.183},
researchr = {https://researchr.org/publication/Bergstra22a},
cites = {0},
citedby = {0},
journal = {Sci. Ann. Cuza Univ.},
volume = {32},
number = {2},
pages = {183-209},
}