Laura Kovács

No bio available. Add one in Open Library.

Books by Laura Kovács (50 max)

+ shelf+ list

Tests and Proofs 16th International Conference, TAP 2022, Held As Part of STAF 2021, Nantes, France, July 5, 2022, Proceedings

2022

Laura Kovács, Karl Meinke

+ shelf+ list

Automated Reasoning 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

2022

Jasmin Blanchette, Laura Kovács, Dirk Pattinson

+ shelf+ list

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

2024

Laura Kovács, Ana Sokolova

+ shelf+ list

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

2024

Nikolai Kosmatov, Laura Kovács