Bibsonomy :: author  ::

bookmarks

publications

(7)

• Getting the best from formal methods
  J. B. Wordsworth Information and Software Technology 41 1027--1032 (1999)
  to imported by kimmens and 3 other people on 2007-09-26 12:09:12
  | BibTeX  
• Getting the best from formal methods
  J. B. Wordsworth Information and Software Technology 41 1027--1032 (1999)
  to imported by evol and 3 other people on 2007-09-26 10:37:27
  | BibTeX  
• Getting the best from formal methods
  J. B. Wordsworth Information and Software Technology 41 1027--1032 (1999)
  to imported by tommens and 3 other people on 2007-09-25 21:44:52
  | BibTeX  
• Getting the best from formal methods.
  John Wordsworth Information & Software Technology 41 1027-1032 (1999)
  to dblp by dblp and 3 other people on 2005-04-13 00:00:00
  | URL | BibTeX  
• The CICS Application Programming Interface Definition.
  John Wordsworth Z User Workshop 285-294 (1990)
  to dblp by dblp on 2003-02-25 00:00:00
  | URL | BibTeX  
• Obtaining Structural Metrics of Z Specifications for Systems Development.
  John Bainbridge and R. W. Whitty and John Wordsworth Z User Workshop 269-281 (1990)
  to dblp by dblp on 2003-02-25 00:00:00
  | URL | BibTeX  
• Practical Experience of Formal Specification: A Programming Interface for Communications.
  John Wordsworth ESEC 140-158 (1989)
  to dblp by dblp on 2002-12-17 00:00:00
  | URL | BibTeX