Canonical Algebraic Generators in Automata Learning Stefan Jens Zetzsche. PhD Thesis, University College London. 2023 shelley2024-07-26T09:03:54+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Towards verified file systems. Towards verified file systems. Away From Linear Models of Concurrent Programs Away From Linear Models of Concurrent Programs Taking Back Control in an Intermediate Representation for GPU Computing. Taking Back Control in an Intermediate Representation for GPU Computing. Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages. Industrial Deployment of Compiler Fuzzing Techniques for Two GPU Shading Languages.