Search for persons
X
?
Proceedings of the 44th International Conference on Software Engineering ,
1
Verification of ORM-based controllers by summary inference:
, In:
?
2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) ,
2