Treffer: Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
Title:
Defining behaviorizeable relations to enable inference in semi-automatic program synthesis
Authors:
Source:
In Journal of Logical and Algebraic Methods in Programming November 2021 123
Database:
ScienceDirect