Alex Coto ; Franco Barbanera ; Ivan Lanese.. ispartofbook:Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}.
,
2022