Guarded Kleene Algebra with Tests: Automata Learning.
Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino. Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, [...]
Stefan Zetzsche, Alexandra Silva, and Matteo Sammartino. Electronic Notes in Theoretical Informatics and Computer Science, Volume 1 – Proceedings of MFPS XXXVIII, February 28, 2023, [...]
Stefan Zetzsche, Alexandra Silva and Matteo Sammartino. In 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023). Leibniz International Proceedings in Informatics (LIPIcs), [...]
Mikhail Semenyuk, Mark Batty and Brijesh Dongol. In: Ferreira, C., Willemse, T.A.C. (eds) Software Engineering and Formal Methods. SEFM 2023. Lecture Notes in Computer Science, [...]
Stefan Jens Zetzsche. PhD Thesis, University College London. 2023
Eleni Vafeiadi Bila. PhD Thesis, University of Surrey. 2023
VeTSS 2023
VeTSS 2023
Hrutvik Kanabar. PhD Thesis, University of Kent. 2023
Eddie Jones. PhD Thesis, University of Bristol. 2023
Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022
The Research Institute on
Verified Trustworthy Software Systems
The Research Institute on
Verified Trustworthy Software Systems
© Copyright 2024 • Made with by Envious Digital