Advances of Proof Scores in CafeOBJ
Preprint in arXiv (December 2021)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Preprint in arXiv (December 2021)
Book chapter (October 2021)
Book chapter in Advances in Intelligent Systems and Computing (June 2018)