48763830
9783319633893
Majumdar, Rupak is the author of 'Computer Aided Verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II (Lecture Notes in Computer Science)', published 2017 under ISBN 9783319633893 and ISBN 3319633899.
[read more]