my-publications-editor.bib

@comment{{This file has been generated by bib2bib 1.97}}

@comment{{Command line: bib2bib -c '$type = "PROCEEDINGS"' -ob my-publications-editor.bib my-publications.bib}}

@proceedings{BPSsosym2013,
  doi = {10.1007/s10270-014-0404-6},
  editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider},
  issn = {1619-1366},
  month = {February},
  number = {1},
  publisher = {Springer},
  series = {{Journal of Software and System Modeling (SoSyM)}},
  title = {{Software Engineering and Formal Methods}},
  volume = {14},
  year = {2015},
  bdsk-url-1 = {http://dx.doi.org/10.1007/s10270-014-0404-6}
}

@proceedings{BS12flacos10,
  doi = {10.1016/j.jlap.2011.12.003},
  editor = {Antonio Brogi and Gerardo Schneider},
  issn = {1567-8326},
  month = {February},
  number = {2},
  publisher = {Elsevier},
  series = {{Journal of Logic and Algebraic Programming}},
  title = {{Special Section: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10)}},
  volume = {81(2)},
  year = {2012},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jlap.2011.12.003}
}

@proceedings{BPSsefm11,
  doi = {10.1007/978-3-642-24690-6},
  editor = {Gilles Barthe and Alberto Pardo and Gerardo Schneider},
  isbn = {978-3-642-24689-0},
  issn = {0302-9743},
  month = {November},
  publisher = {Springer},
  series = {{Lecture Notes in Computer Science}},
  title = {{Software Engineering and Formal Methods}},
  volume = {7041},
  year = {2011},
  bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-24690-6}
}

@proceedings{PS11flacos09,
  doi = {10.1016/j.jlap.2011.04.001},
  editor = {Gordon Pace and Gerardo Schneider},
  issn = {1567-8326},
  month = {April-July},
  number = {3-5},
  publisher = {Elsevier},
  series = {{Journal of Logic and Algebraic Programming}},
  title = {{Special Issue: Formal Languages and Analysis of Contract-Oriented Software}},
  volume = {80(3-5)},
  year = {2011},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jlap.2011.04.001}
}

@proceedings{JOS08nwpt,
  doi = {10.1016/j.jlap.2009.06.001},
  editor = {Einar B. Johnsen and Olaf Owe and Gerardo Schneider},
  issn = {1567-8326},
  month = {August/September},
  number = {7},
  publisher = {Elsevier},
  series = {{Journal of Logic and Algebraic Programming}},
  title = {{Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007)}},
  volume = {78(7)},
  year = {2009},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jlap.2009.06.001}
}

@proceedings{OS09flacos,
  doi = {10.1016/j.jlap.2009.02.012},
  editor = {Olaf Owe and Gerardo Schneider},
  issn = {1567-8326},
  month = {May/June},
  number = {5},
  publisher = {Elsevier},
  series = {{Journal of Logic and Algebraic Programming}},
  title = {{Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07)}},
  volume = {78(5)},
  year = {2009},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jlap.2009.02.012}
}

@proceedings{PS10flacos,
  doi = {10.1016/j.jlap.2010.10.003},
  editor = {Gordon Pace and Gerardo Schneider},
  issn = {1567-8326},
  month = {January},
  number = {1},
  publisher = {Elsevier},
  series = {{Journal of Logic and Algebraic Programming}},
  title = {{Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'08)}},
  volume = {80(1)},
  year = {2011},
  bdsk-url-1 = {http://dx.doi.org/10.1016/j.jlap.2010.10.003}
}

This file was generated by bibtex2html 1.97.