Finding bugs on tagged unions mismatches
Year: 2024
Type: conference-paper
Authors: Gábor Tóthvári, Kristóf Umann, Zoltán Porkoláb
Institution: Eötvös Loránd University
Language: English
Subfield: Information Systems
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funder: Innovation Fund
OpenAlex ID: W4408258357