1
Formal Methods  and Software Engineering [E-Book] : 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24-27, 2022, Proceedings /
2
Information Retrieval [E-Book] : 27th China Conference, CCIR 2021, Dalian, China, October 29-31, 2021, Proceedings /