9789310095628
Samiksha Sahu
Dweep Press
English
Computer Science & Information Technology - Computer Science & Information Technology
2019
13310.00
A Compositional Automation Engine for Verifying Complex System Software
