Cliff B. Jones

发表

Cliff B. Jones, P. Lucas, Cliff B. Jones, 1971, Symposium on Semantics of Algorithmic Languages.
Cliff B. Jones, John Cooke, 2004, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 1990, Z User Workshop.
Cliff B. Jones, Jim Woodcock, 2007, Formal Aspects of Computing.
Cliff B. Jones, 1988, Softw. Eng. J..
Jun Sun, Cliff B. Jones, Pekka Pihlajasaari, 2014, Lecture Notes in Computer Science.
Cliff B. Jones, Nisansala Yatapanage, Cliff B. Jones, 2015 .
Rogério de Lemos, Gerhard Weikum, Cliff B. Jones, 2005, OPSR.
Cliff B. Jones, 1980, Software Engineering.
Cliff B. Jones, Joey W. Coleman, Ian Oliver, 2005 .
Cliff B. Jones, Elena Troubitsyna, Michael Butler, 2009, Methods, Models and Tools for Fault Tolerance.
Cliff B. Jones, Charles Antony Richard Hoare, C. Hoare, 1989 .
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles, 2012, ABZ.
Cliff B. Jones, 2015, Formal Aspects of Computing.
Cliff B. Jones, 1990 .
Cliff B. Jones, Edward J. Oughton, Martino Tran, 2016 .
Cliff B. Jones, 2008, Formal Aspects of Computing.
Cliff B. Jones, 1991 .
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2007, Formal Methods and Hybrid Real-Time Systems.
Cliff B. Jones, Jh Cheng, Cliff B. Jones, 1991 .
Cliff B. Jones, Elena Troubitsyna, Michael Butler, 2006, RODIN Book.
Cliff B. Jones, José Oliveira, 2019, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 1974, Programming Methodology.
Gerhard Weikum, Cliff B. Jones, Alexander Romanovsky, 2006, Atomicity: A Unifying Concept in Computer Science.
Cliff B. Jones, Rainer Gmehlich, 2013, Industrial Deployment of System Engineering Methods.
Cliff B. Jones, Brijesh Dongol, Alan Burns, 2011 .
Cliff B. Jones, M. Lonergan, Cliff B. Jones, 2001, Algorithmica.
Cliff B. Jones, Alexander Romanovsky, Ian Welch, 2002, Proceedings 26th Annual International Computer Software and Applications.
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Cliff B. Jones, Cliff B. Jones, 1995, Inf. Process. Lett..
Cliff B. Jones, Michael R. Hansen, 2004, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 1996, Formal Methods Syst. Des..
Cliff B. Jones, Cliff B. Jones, 2018, Symposium on Real-Time and Hybrid Systems.
Cliff B. Jones, 2014 .
Cliff B. Jones, Cliff B. Jones, 1979, Abstract Software Specifications.
Cliff B. Jones, Robert Colvin, Ian J. Hayes, 2015, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 1996, ESOP.
Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 1989 .
Cliff B. Jones, Cliff B. Jones, 1986, Prentice Hall International Series in Computer Science.
Cliff B. Jones, Cliff B. Jones, 2001, Informatics.
Cliff B. Jones, Cliff B. Jones, 1996 .
Cliff B. Jones, Joey W. Coleman, Cliff B. Jones, 2007, J. Log. Comput..
Cliff B. Jones, Cd Allen, 1973 .
Peter A. Lindsay, Cliff B. Jones, Richard C. Moore, 1991, Springer London.
Cliff B. Jones, Kevin D. Jones, P. A. Lindsay, 1991 .
Erich J. Neuhold, Cliff B. Jones, Dines Bjørner, 1987 .
Cliff B. Jones, Cliff B. Jones, 1997, First IEEE International Conference on Formal Engineering Methods.
Cliff B. Jones, Nisansala Yatapanage, 2019, Formal Aspects of Computing.
Cliff B. Jones, 2006, Trust in Technology.
Purang Abolmaesumi, Cliff B. Jones, Septimiu E. Salcudean, 2000, Proceedings 2000 ICRA. Millennium Conference. IEEE International Conference on Robotics and Automation. Symposia Proceedings (Cat. No.00CH37065).
Peter W. O'Hearn, Cliff B. Jones, Jim Woodcock, 2006, Computer.
Cliff B. Jones, 1977, International Computing Symposium.
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2011, Formal Aspects of Computing.
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Cliff B. Jones, Jon Burton, 2005, J. Univers. Comput. Sci..
Cliff B. Jones, David Greathead, Richard J. Payne, 2008 .
Cliff B. Jones, Ian J. Hayes, Robert Colvin, 2014 .
Cliff B. Jones, Cliff B. Jones, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Cliff B. Jones, Troy K. Astarte, Cliff B. Jones, 2018 .
Cliff B. Jones, Andrius Velykis, Leo Freitas, 2013, Theories of Programming and Formal Methods.
Cliff B. Jones, Cliff B. Jones, 1987 .
Cliff B. Jones, Cliff B. Jones, 1980, Prentice Hall international series in computer science.
Cliff B. Jones, Cliff B. Jones, 1983 .
Cliff B. Jones, Kevin D. Jones, P. A. Lindsay, 1991 .
Dines Bjørner, Erich J. Neuhold, Cliff B. Jones, 1987, Lecture Notes in Computer Science.
Cliff B. Jones, Cliff B. Jones, 2017, CiE.
Cliff B. Jones, Cliff B. Jones, 2007, Theor. Comput. Sci..
Cliff B. Jones, Cliff B. Jones, 2006, MFPS.
Cliff B. Jones, Gudmund Grov, 2010 .
Cliff B. Jones, Matthew J. Lovert, 2011, Int. J. Softw. Informatics.
Cliff B. Jones, John S. Fitzgerald, J. Fitzgerald, 2008, Inf. Process. Lett..
Cliff B. Jones, Brian Randell, Hermann Kopetz, 2001 .
Cliff B. Jones, Michael Leuschel, Jens Bendisposto, 2011, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Cliff B. Jones, Wolfgang Henhapl, 1978, The Vienna Development Method: The Meta-Language.
Cliff B. Jones, Jl Lloyd, Cliff B. Jones, 2011, Dependable and Historic Computing.
Cliff B. Jones, Kevin D. Jones, P. A. Lindsay, 1991 .
Gerhard Weikum, Cliff B. Jones, David B. Lomet, 2006, Atomicity: A Unifying Concept in Computer Science.
Alan Bundy, Cliff B. Jones, Dieter Hutter, 2012, Dagstuhl Reports.
Cliff B. Jones, Troy K. Astarte, Cliff B. Jones, 2017, SETSS.
A. W. Roscoe, Cliff B. Jones, Cliff B. Jones, 2010, Reflections on the Work of C. A. R. Hoare.
Cliff B. Jones, Michael Leuschel, Jens Bendisposto, 2011 .
Cliff B. Jones, Cliff B. Jones, 2003 .
Cliff B. Jones, SN Glassover, KV Hanford, 1968 .
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Cliff B. Jones, Kevin D. Jones, P. A. Lindsay, 1991 .
Hans-Jörg Schek, Burkhard Freitag, Cliff B. Jones, 1996 .
Cliff B. Jones, Cliff B. Jones, 1983, IFIP Congress.
Cliff B. Jones, Cliff B. Jones, 2001, J. Univers. Comput. Sci..
Cliff B. Jones, 2012, Formal Aspects of Computing.
Cliff B. Jones, Alexander Romanovsky, 2014, Sci. Comput. Program..
Cliff B. Jones, Cliff B. Jones, 1996 .
Cliff B. Jones, John Fitzgerald, 1998, Proof in VDM.
Cliff B. Jones, Cd Allen, Dn Chapman, 1972 .
Cliff B. Jones, 2014, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 2000, MPC.
Cliff B. Jones, Kevin D. Jones, P. A. Lindsay, 1991 .
Cliff B. Jones, Joey W. Coleman, 2007, J. Univers. Comput. Sci..
Cliff B. Jones, 2010, VERIFY@IJCAR.
Cliff B. Jones, Mario Wolczko, T. N. Nipkow, 1985, Data Types and Persistence , Informal Proceedings.
Cliff B. Jones, Cliff B. Jones, 1993, FME.
Dines Bjørner, Cliff B. Jones, Cliff B. Jones, 1978, Lecture Notes in Computer Science.
Cliff B. Jones, Joey W. Coleman, 2006 .
Cliff B. Jones, J. R. Gurd, Cliff B. Jones, 1996 .
Simon L. Peyton Jones, Cliff B. Jones, Murali Sitaraman, 2006, GPCE '06.
Cliff B. Jones, Jonathan Burton, Cliff B. Jones, 2005 .
Cliff B. Jones, Cliff B. Jones, 2003, Inf. Process. Lett..
David Lorge Parnas, Robert L. Glass, Cliff B. Jones, 1996, Computer.
Cliff B. Jones, Peter J. F. Lucas, John Fitzgerald, 1997, Lecture Notes in Computer Science.
Cliff B. Jones, Roger C. F. Shaw, Tim Denvir, 1992, Workshops in Computing.
Cliff B. Jones, Cliff B. Jones, 1999, World Congress on Formal Methods.
Cliff B. Jones, Cliff B. Jones, 1979, Acta Informatica.
Cliff B. Jones, 1978, The Vienna Development Method: The Meta-Language.
Cliff B. Jones, Wolfgang Henhapl, 1970 .
Cliff B. Jones, Kenneth R. Wood, Andrew William Roscoe, 2010 .
Alan Bundy, Cliff B. Jones, Gudmund Grov, 2010 .
Cliff B. Jones, 1985, TAPSOFT, Vol.2.
Gerhard Weikum, Cliff B. Jones, Alexander Romanovsky, 2006, Atomicity: A Unifying Concept in Computer Science.
Cliff B. Jones, Brian Randell, T Hoare, 2004 .
Cliff B. Jones, Alan Burns, Ian J. Hayes, 2019, Comput. J..
Cliff B. Jones, Brian Randell, T Hoare, 2004 .
Cliff B. Jones, Nisansala Yatapanage, Cliff B. Jones, 2015, SEFM.
Cliff B. Jones, 1991 .
Cliff B. Jones, Iain Whiteside, Andrius Velykis, 2014, VSTTE.
Cliff B. Jones, Cliff B. Jones, 1992 .
Cliff B. Jones, K. V. Hanford, Sm Glassover, 1969 .
Cliff B. Jones, Kees Middelburg, Cliff B. Jones, 1993, Acta Informatica.
Cliff B. Jones, Roger C. F. Shaw, Cliff B. Jones, 1990 .
Cliff B. Jones, F. Lockwood Morris, F. L. Morris, 1984, Annals of the History of Computing.
Cliff B. Jones, Alexei Iliasov, Manuel Mazzara, 2016, ArXiv.
Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 2017, SETSS.
Cliff B. Jones, Richard C. Moore, Cliff B. Jones, 1988, VDM Europe.
Cliff B. Jones, 1965, Comput. J..
Cliff B. Jones, F. L. Morris, Cliff B. Jones, 1984 .
Cliff B. Jones, 2014, Formal Aspects of Computing.
Cliff B. Jones, Matthew J. Lovert, L. Jason Steggles, 2014, Sci. Comput. Program..
Cliff B. Jones, 2000, Formal Aspects of Computing.
Cliff B. Jones, Martyn Thomas, Cliff B. Jones, 2020, Formal Aspects Comput..
Cliff B. Jones, Hans Bekic, Cliff B. Jones, 1984, Lecture Notes in Computer Science.
Cliff B. Jones, A. M. McCauley, Cliff B. Jones, 1992 .
Cliff B. Jones, Nisansala Yatapanage, Cliff B. Jones, 2015 .
Alan Burns, Cliff B. Jones, Brijesh Dongol, 2013, Comput. J..
Cliff B. Jones, Cliff B. Jones, 1998, FASE.
Cliff B. Jones, Cliff B. Jones, 1995, MFPS.
Dines Bjørner, Cliff B. Jones, Derek Andrews, 1982 .
Cliff B. Jones, Ian J. Hayes, Robert Colvin, 2012 .
Cliff B. Jones, Pierre Collette, Cliff B. Jones, 2000, Proof, Language, and Interaction.
Cliff B. Jones, Nisansala Yatapanage, Andrius Velykis, 2017, SETTA.
Cliff B. Jones, Cliff B. Jones, 1971, Comput. J..
Cliff B. Jones, Cliff B. Jones, 2013 .
Cliff B. Jones, 1986, System Development and Ada.
Peter A. Lindsay, Cliff B. Jones, Cliff B. Jones, 1988, VDM Europe.
Cliff B. Jones, John S. Fitzgerald, 1990, VDM Europe.
Cliff B. Jones, Andrius Velykis, Leo Freitas, 2014, HOWARD-60.
Cliff B. Jones, Howard Barringer, J. H. Cheng, 1984, Acta Informatica.
Cliff B. Jones, 1981, IEEE Trans. Inf. Theory.
Dines Bjørner, Cliff B. Jones, Hans Bekic, 1984 .
Cliff B. Jones, Cliff B. Jones, 2002, 10th Anniversary Colloquium of UNU/IIST.
Cliff B. Jones, Cliff B. Jones, 2007, Domain Modeling and the Duration Calculus.
Cliff B. Jones, John S. Fitzgerald, 1998 .
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson, 2003, FME.
Cliff B. Jones, Ken G. Pierce, Cliff B. Jones, 2008, ABZ.
Cliff B. Jones, 2010 .
Cliff B. Jones, Cliff B. Jones, 2009 .
Cliff B. Jones, 1978, The Vienna Development Method: The Meta-Language.
Cliff B. Jones, Cliff B. Jones, 2013, 2013 18th International Conference on Engineering of Complex Computer Systems.
Cliff B. Jones, Cliff B. Jones, 1996, CSUR.
Cliff B. Jones, John R. D. Hughes, Cliff B. Jones, 2008, Automated Software Engineering.
Cliff B. Jones, Cliff B. Jones, 2010, Reflections on the Work of C. A. R. Hoare.
Cliff B. Jones, 2017, Formal Aspects of Computing.
Gerhard Weikum, Cliff B. Jones, Alexander Romanovsky, 2005, J. Univers. Comput. Sci..
Cliff B. Jones, Steve J. Hodges, 1995, Object Orientation with Parallelism and Persistence.
Cliff B. Jones, John S. Fitzgerald, Jeremy Bryans, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).
Cliff B. Jones, Cliff B. Jones, 1990, Prentice Hall International Series in Computer Science.
Cliff B. Jones, Ian J. Hayes, Cliff B. Jones, 2016, J. Log. Algebraic Methods Program..
Cliff B. Jones, 2002, Formal Aspects of Computing.
Cliff B. Jones, Cliff B. Jones, 1986 .
Cliff B. Jones, Wolfgang Henhapl, 1971, Inf. Process. Lett..
Cliff B. Jones, D. J. Cooke, Christiane Notarmarco, 2004, Formal Aspects of Computing.
Dines Bjørner, Cliff B. Jones, Hans Bekic, 1984, Programming Languages and Their Definition.
Cliff B. Jones, Jon Burton, Cliff B. Jones, 2005, Journal of universal computer science (Online).
Cliff B. Jones, Cliff B. Jones, 1984, Programming Languages and Their Definition.
Cliff B. Jones, Cliff B. Jones, 2003, IEEE Ann. Hist. Comput..
Cliff B. Jones, Cliff B. Jones, 1973 .
Cliff B. Jones, Cliff B. Jones, 1987, VDM Europe.