Kovacs, Laura.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Tests and proofs16th International Conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022 : proceedings /
by:
(1998 :); Kovacs, Laura.; Meinke, K.; SpringerLink (Online service)
(Electronic resources)
Automated reasoning11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022 : proceedings /
by:
(1998 :); Blanchette, Jasmin.; Kovacs, Laura.; Pattinson, Dirk.; SpringerLink (Online service)
(Electronic resources)
Subjects