Proving an Execution of an Algorithm Correct?
Book chapter in Lecture Notes in Computer Science (August 2023)
The most recent citing publications are shown below. View all 75 publications that cite this research output on Dimensions.
Book chapter in Lecture Notes in Computer Science (August 2023)
Article in Applicable Algebra in Engineering, Communication and Computing (December 2022)
Article in Advances in Applied Mathematics (August 2022)