Generating JML Specifications from UML State Diagrams (bibtex)

by Engelbert Hubbers and Martijn Oostdijk

Reference:

Generating JML Specifications from UML State Diagrams (Engelbert Hubbers and Martijn Oostdijk), In Forum on specification and Design Languages, FDL 2003, September 23-26, 2003, Frankfurt, Germany, Proceedings, ECSI, 2003.

Bibtex Entry:

@string{ehupub="https://www.cs.ru.nl/E.Hubbers/pubs/"}
@inproceedings{DBLP:conf/fdl/HubbersO03,
  author    = {Engelbert Hubbers and
               Martijn Oostdijk},
  title     = {Generating {JML} Specifications from {UML} State Diagrams},
  booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
               23-26, 2003, Frankfurt, Germany, Proceedings},
  pages     = {263--274},
  publisher = {{ECSI}},
  year      = {2003},
  pdf	= EHUPUB#{Generating_JML_10.1.1.183.4351.pdf},
  timestamp = {Sun, 08 Mar 2009 12:28:03 +0100},
  biburl    = {https://dblp.org/rec/conf/fdl/HubbersO03.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}