OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Cliff Jones (computer scientist)

 Home Mathematics Mathematicians Mathematicians by field Computer scientists Computer science writers
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Cliff Jones is a computer scientist known for his contributions to the fields of software engineering, formal methods, and the development of programming languages. He has worked on topics related to software specification, verification, and the use of mathematical techniques in software development. Jones is also recognized for his research in the area of program semantics and the application of formal methods in ensuring software reliability.

 Ancestors (6)

  1. Computer science writers
  2. Computer scientists
  3. Mathematicians by field
  4. Mathematicians
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook