Wyniki wyszukiwania dla: Dmitriy Traytel
Formal Methods in System Design > 2019 > 55 > 1 > 72-72
Formal Methods in System Design > 2019 > 54 > 3 > 279-335
Formal Methods in System Design > 2019 > 54 > 3 > 449-478
Journal of Automated Reasoning > 2017 > 58 > 1 > 149-179
Lecture Notes in Computer Science > Programming Languages and Systems > Session 2: Functional Programming > 89-104