Year of Publication 04.10.2021

by Jones, Cliff B.
Published in Minds and machines (Dordrecht) (01.02.2024)

by Jones, Cliff B
Year of Publication 2020

by Jones, Cliff B., Burns, Alan
Published in Formal methods in system design (2024)

by Jones, Cliff B., Yatapanage, Nisansala
Published in Formal aspects of computing (01.06.2019)

by Jones, Cliff B, Lloyd, John L
Year of Publication 2012

by Roscoe, A.W, Jones, Cliff B, Wood, Kenneth R
Year of Publication 2010

by Jones, Cliff B.
Published in Formal aspects of computing (01.03.2015)

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

by Jones, Cliff B, Liu, Zhiming, Woodcock, Jim
Year of Publication 2007

by Jones, Cliff B.
Published in Formal aspects of computing (01.05.2012)

by Jones, Cliff B, Roscoe, A. W, Wood, Kenneth R
Year of Publication 2010

by Jones, Cliff B., Pierce, Ken G.
Published in Formal aspects of computing (01.05.2011)

by Abdallah, Ali E, Jones, Cliff B, Sanders, Jeff W
Year of Publication 2005

by 9781846281112
Year of Publication 15.02.2006

by Jones, Cliff B
Published in Philosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences (15.10.2005)

by Fitzgerald, John S., Jones, Cliff B.
Published in Information processing letters (31.07.2008)

by Jones, Cliff B.
Published in Information processing letters (17.10.2003)

by Jones, Cliff B., Thomas, Martyn
Published in Formal aspects of computing (06.07.2022)

by Jones, C.B.
Published in IEEE annals of the history of computing (01.04.2003)