Filter by
Lightweight Approaches to the Verification of Functional Programs.
Eddie Jones.
PhD Thesis, University of Bristol. 2023
VeTSS EDI statement.
VeTSS
2023
Canonical Algebraic Generators in Automata Learning
Stefan Jens Zetzsche.
PhD Thesis, University College London. 2023
by