Logic-Based Program Synthesis and Transformation: 32nd International Symposium, LOPSTR 202
English | 2022 | ISBN: 303116766X | 168 Pages | PDF (True) | 5 MB
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Download from free file storage
Resolve the captcha to access the links!
Registered members don't get captcha ... just sayin