jyotirmoy deshmukh
NASA Formal Methods
Print on DemandThis book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods,...
Runtime Verification
Print on DemandThis book constitutes the refereed proceedings of the 20th International Conference on Runtime Ve...
NASA Formal Methods
Print on DemandThis book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods,...
- 1