by Hayes, Ian J., Meinicke, Larissa A., Winter, Kirsten, Colvin, Robert J.
Published in Formal aspects of computing (01.04.2019)

by Colvin, Robert J., Hayes, Ian J., Meinicke, Larissa A.
Published in Formal aspects of computing (01.09.2017)

by Meinicke, Larissa, Solin, Kim
Published in Formal aspects of computing (01.01.2010)

by Meinicke, Larissa A., Hayes, Ian J.
Published in 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE) (01.05.2023)

by MCIVER, ANNABELLE, MEINICKE, LARISSA, MORGAN, CARROLL
Published in Mathematical structures in computer science (01.02.2015)

by McIver, Annabelle, Meinicke, Larissa, Morgan, Carroll
Published in Automata, Languages and Programming (2010)

by Hayes, Ian J., Dunne, Steve E., Meinicke, Larissa A.
Published in Science of computer programming (01.11.2013)

by McIver, Annabelle, Morgan, Carroll, Smith, Geoffrey, Espinoza, Barbara, Meinicke, Larissa
Published in Principles of Security and Trust (2014)

by MEINICKE, Larissa, SOLIN, Kim
Published in Formal aspects of computing (2010)

by Hayes, Ian J., Meinicke, Larissa A.
Published in Unifying Theories of Programming (2019)

by Dongol, Brijesh, Hayes, Ian, Meinicke, Larissa, Struth, Georg
Published in Mathematics of Program Construction (2019)

by Meinicke, Larissa A, Hayes, Ian J
Year of Publication 20.03.2024

by Hayes, Ian J., Meinicke, Larissa A.
Published in Formal Methods (2018)

by Hayes, Ian J, Jones, Cliff B, Meinicke, Larissa A
Year of Publication 12.09.2024

by Hayes, Ian J., Colvin, Robert J., Meinicke, Larissa A., Winter, Kirsten, Velykis, Andrius
Published in FM 2016: Formal Methods (2016)

by Hayes, Ian J, Meinicke, Larissa A, Evangelou-Oost, Naso
Year of Publication 09.05.2024

by Meinicke, Larissa A, Hayes, Ian J, Jones, Cliff B
Year of Publication 09.05.2024

by Meinicke, Larissa, Hayes, Ian J.
Published in Lecture notes in computer science (2006)

by Hayes, Ian J., Wu, Xi, Meinicke, Larissa A.
Published in Programming Languages and Systems (2017)

by Hayes, Ian J., Meinicke, Larissa
Published in FM 2014: Formal Methods (2014)