A Survey of Testing for Instruction Sequence Theory

Jan A. Bergstra. A Survey of Testing for Instruction Sequence Theory. Sci. Ann. Cuza Univ., 32(1):5-86, 2022. [doi]

Abstract

Abstract is missing.