Logic-Based Program Synthesis and Transformation. 31st International Symposium, LOPSTR 2021 Tallinn, Estonia, September 7–8, 2021 Proceedings
- Author
- Emanuele De Angelis, Wim Vanhoof
- Publisher
- Springer
- Language
- English
- Year
- 2022
- ISBN
- 9783030988685,9783030988692
- File Type
- pdf
- File Size
- 3.5 MiB
How to Download?!!!
Just click on START button on Telegram Bot