BibTeX record journals/ijseke/AsteasuainB15

download as .bib file

@article{DBLP:journals/ijseke/AsteasuainB15,
  author    = {Fernando Asteasuain and
               V{\'{\i}}ctor A. Braberman},
  title     = {Specification Patterns: Formal and Easy},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {25},
  number    = {4},
  pages     = {669--700},
  year      = {2015}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics