Jha, Susmit books & textbook
Towards Automated System Synthesis Using SCIDUCTION
LAP LAMBERT Academic Publishing /2012-01-10 Paperback / 224 Pages
isbn-10: 3838310683 / isbn-13: 9783838310688
NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings (Programming and Software Engineering)
Lee, Ritchie Jha, Susmit Mavridou, Anastasia Giannakopoulou, Dimitra
Springer /2020-08-09 Paperback / 468 Pages
isbn-10: 3030557537 / isbn-13: 9783030557539
