Edit search
A logic for the Java modeling language JML
A logic for the Java modeling language JML
Article, Chapter
Authors: B.P.F. Jacobs
Published: 2000
Browse related articles
  Request a copy of this item
Cite this item