Gary T. Leavens is a prominent computer scientist known for his work in the fields of software engineering, programming languages, and formal methods. He has made significant contributions, particularly in the areas of specification and verification of software systems, as well as research on programming language design and semantics. Leavens is also known for his work on the Java Modeling Language (JML), which is used for specifying the behavior of Java classes and methods.

Ancestors (6)

  1. Computer scientist stubs
  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