I agree that this site is using cookies. You can find further informations here.
X
Bokil, Nilesh J.
2  results:
Bookchapter (Online) X
Search for persons X
?
1

Verification of ORM-based controllers by summary inference:

, In: Proceedings of the 44th International Conference on Software Engineering,
Chawla, Geetam ; Aman, Navneet ; Komondoor, Raghavan.. - p. 2340-2351 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Verification of ORM-based Controllers by Summary Inference:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Chawla, Geetam ; Aman, Navneet ; Komondoor, Raghavan.. - p. 2340-2351 , 2022
Link: https://doi.org/10.1145/..
 
1-2