9789310203638
Priya Das
Dweep Press
English
Computer Science & Information Technology - Computer Science & Information Technology
2021
12450.00
Scalable Synthesis and Verification: Towards Reliable Autonomy
