Java Framework Implementing Design Patterns by the Use of JML and Contract4J (bibtex)
by Gergely Kovásznai
Reference:
Java Framework Implementing Design Patterns by the Use of JML and Contract4JGergely Kovásznai2009, Technical report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria.
Bibtex Entry:
@techreport{KovasznaiRISC2009,
  author    = {Gergely Kov\'asznai},
  title     = {Java Framework Implementing Design Patterns by the Use of {JML} and {Contract4J}},
  number    = {3872},
  year      = {2009},
  institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria},
  sponsor   = {Austrian Academic Exchange Service (├ľAD) under the contract HU 14/2009},
  length    = {17},
  URL       = {http://www.risc.jku.at/publications/download/risc_3872/kovasznai.contract4j_jml.pdf}
}
Powered by bibtexbrowser