Details
Title
Milovancevic, Dragana
Sciper ID
289485
Affiliated labs
LARA
Publications
Formal Autograding in a Classroom (Experience Report)
Formula Normalizations in Verification
Proving and Disproving Equivalence of Functional Programming Assignments
Formula Normalizations in Verification
Proving and Disproving Equivalence of Functional Programming Assignments
Link to search
All resources
Record appears in
Authorities > People