Higher-order Automation In TLAPS - Antoine Defourné and Petar Vukmirovic
Channel: Markus Kuppe
Date: 02/10/2020

https://conf.tlapl.us/2020/05-Defourne_and_Vukmirovic-Higher-order_Automation_in_TLAPSs.pdf