Year: 2017
Type: conference-paper
Authors: Koen Claessen, Jonatan Kilhamn, Laura Kovács, Bengt Lennartson
Institutions: Chalmers University of Technology, TU Wien
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W2767523818