A General Semantic Construction of Dependent Refinement Type Systems Categorically

von Kura, Satoshi
Veröffentlicht in FOSSACS (24. : 2021 : Online) Foundations of software science and computation structures (2021)

Decision Tree Learning in CEGIS-Based Termination Analysis

von Kura, Satoshi
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)