Paterson,
Michael S.
Programming Logics, MPI for Informatics, Max Planck Society;
Schröder,
Heiko
Programming Logics, MPI for Informatics, Max Planck Society;
Sýkora,
Ondrej
Programming Logics, MPI for Informatics, Max Planck Society;
Vrto,
Imrich
Programming Logics, MPI for Informatics, Max Planck Society;