IoT 2022-The 12th International Conference on the Internet of Things IoT 2022-The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands
SEFM 2022-20th International Conference on Software Engineering and Formal Methods SEFM 2022-20th International Conference on Software Engineering and Formal Methods, Sep 2022, Berlin, Germany. pp.1-17, ⟨10.1007/978-3-031-17108-6_22⟩ Software Engineering and Formal Methods ISBN: 9783031171079
FormaliSE 2022-International Conference on Formal Methods in Software Engineering FormaliSE 2022-International Conference on Formal Methods in Software Engineering, May 2022, Pittsburgh, United States. pp.1-11, ⟨10.1145/3524482.3527647⟩
Journal of Logical and Algebraic Methods in Programming Journal of Logical and Algebraic Methods in Programming, Elsevier, 2021, pp.1-50. ⟨10.1016/j.jlamp.2021.100711⟩ Journal of Logical and Algebraic Methods in Programming, 2021, pp.1-50. ⟨10.1016/j.jlamp.2021.100711⟩