9789310212192
Shiv Chatterjee
Gagan Books
English
Information and Computing Technologies - Information and Computing Technologies
2022
9865.00
A Practical Approach to Automated Software Correctness Enhancement
