in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 13290, Pages: 16-37 (22)
Conference
31St International Symposium on Logic-Based Program Synthesis and Transformation (Lopstr), Date: SEP 07-08, 2021, Location: Teachers House Tallinn, Tallinn, ESTONIA, Host: Teachers House Tallinn