by Colvin, Robert J.
Published in Theoretical computer science (11.04.2016)

by Smith, Graeme, Winter, Kirsten, Colvin, Robert J.
Published in Formal aspects of computing (01.02.2020)

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 Colvin, Robert J.
Published in Formal aspects of computing (01.05.2014)

by Jones, Cliff B., Hayes, Ian J., Colvin, Robert J.
Published in Formal aspects of computing (01.05.2015)

by Smith, Graeme, Winter, Kirsten, Colvin, Robert J.
Published in Electronic proceedings in theoretical computer science (24.10.2018)

by Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia
Year of Publication 2012

by Colvin, Robert J.
Published in Software Engineering and Formal Methods (2021)

by Colvin, Robert J., Smith, Graeme
Published in Formal Methods (2018)

by Colvin, Robert J., Hayes, Ian J.
Published in Science of computer programming (01.10.2011)

by Pelkki, M.H, Colvin, R.J
Published in Southern journal of applied forestry (01.02.2004)

by Colvin, Robert J
Year of Publication 06.04.2022

by Colvin, Robert J
Year of Publication 06.05.2021

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

by Colvin, Robert J.
Published in Formal Methods and Software Engineering (2022)

by Colvin, Robert J, Winter, Kirsten
Year of Publication 09.03.2020

by Colvin, Robert J
Published in arXiv.org (07.04.2022)

by Colvin, Robert J, Hayes, Ian J, Heiner, Scott, Höfner, Peter, Meinicke, Larissa, Su, Roger C
Year of Publication 30.07.2024

by Colvin, Robert J
Published in arXiv.org (06.05.2021)