Jan A. Bergstra. Instruction Sequence Faults with Formal Change Justification. Sci. Ann. Cuza Univ., 30(2):105-166, 2020. [doi]
@article{Bergstra20a, title = {Instruction Sequence Faults with Formal Change Justification}, author = {Jan A. Bergstra}, year = {2020}, doi = {10.7561/SACS.2020.2.105}, url = {https://doi.org/10.7561/SACS.2020.2.105}, researchr = {https://researchr.org/publication/Bergstra20a}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {30}, number = {2}, pages = {105-166}, }