Cliff B. Jones  Home/Search
Context
Related
| ncl.ac.uk/pub/users/ncbj/refs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.ncl.ac.uk/people/cliff.jone... (more) Homepages: C.Jones |
Rate this article:      (best)Comment on this article |
Abstract: List of main publications by Cliff B. Jones. (Update)
Similar documents (at the sentence level):
21.5%: Systematic Software Development Using VDM - Teaching Notes - Jones (1995) (Correct)
Active bibliography (related documents): More All
0.8: Main Publications - Jones (Correct)
0.2: The Early Search for Tractable Ways of Reasoning About Programs - Jones (2003) (Correct)
0.2: AGATE: Unifying Languages and Operating Systems - Aycock (2002) (Correct)
Similar documents based on text: More All
1.2: Enhancing the Tractability of Rely/Guarantee Specifications.. - Collette, Jones (1995) (Correct)
1.0: Formal Methods - Selected Historical References - Jones, McCauley (1992) (Correct)
0.8: Recent books on Formal Methods (Bibliography) - Jones (1995) (Correct)
BibTeX entry: (Update)
@misc{ jones-main,
author = "List of main publications",
title = "Main Publications",
url = "citeseer.ist.psu.edu/jones00main.html" }
Citations (may not include all citations):689 Systematic Software Development using VDM - Jones - 1990 ACM
689 Systematic Software Development Using VDM - Jones - 1986 ACM
66 mural: A Formal Development Support System (context) - Jones, Jones et al.
40 Software Development: A Rigorous Approach (context) - Jones - 1980
28 Case Studies in Systematic Software Development (context) - Jones, Shaw - 1990 ACM
23 Prentice Hall International (context) - Bjrner, Jones et al. - 1982
18 The Vienna Development Method: The Meta-Language (context) - Bjrner, Jones - 1978 DBLP
15 Prentice Hall International (context) - Hoare, Jones et al. - 1989
10 volume 252 of Lecture Notes in Computer Science (context) - Bjrner, Jones et al. - 1987
5 Dynamic Syntax: A Concept for the Definition of the Syntax o.. (context) - Hanford, Jones - 1974
2 Programming Languages and Their Definition: Selected Papers .. (context) - Bekic, Jones - 1984
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC