Nils Froleyks is an author at University of Helsinki specializing in science and technology studies, stem education, and computer science.
Top concepts
EducationEngineeringVerificationFormal MethodsSatisfiabilityStem EducationComputer ScienceAutomated ReasoningFormal VerificationComputer Engineering
Publications per year
2021–2021
1
1
Nils Froleyks, Marijn J. H. Heule, Markus Iser et al. · Artificial Intelligence · 2021 · 79 citations · Full text
Rows per page
1–1 of 1