Items where Author is "Kovács, L"

[up] Up a level
Group by: Item Type | No Grouping
Number of items: 1.

Hitarth, S, Kenison, G orcid iconORCID: 0000-0002-7661-7061, Kovács, L and Varonka, A (2024) Linear Loop Synthesis for Quadratic Invariants. In: Leibniz International Proceedings in Informatics (LIPIcs) , 289. (41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024), 12th Mar - 14 Mar 2024, Clermont-Ferrand, France).

This list was generated on Sat Jul 19 01:20:18 2025 UTC.