Cliff Jones

Living History Anthology

2018

Another brick in the wall

2000

FM 2014 : Formal Methods

2014

Echoes

1996

Winning Thrgh Integ

1986

Water Runs Slow Through Flat Land

2015

VDM '87. VDM - A Formal Method at Work

1987

Symposium on Real-Time and Hybrid Systems

2018

Structure for Dependability

2006

Lust for Life

1997

Cliff Jones - My Story

2017

Building a better mousetrap

1995

Advergaming developer's guide

2004