| [1] | Gilles Barthe, Alberto Pardo, and Gerardo Schneider, editors. Software Engineering and Formal Methods, volume 14 of Journal of Software and System Modeling (SoSyM). Springer, February 2015. [ bib | DOI ] |
| [2] | Antonio Brogi and Gerardo Schneider, editors. Special Section: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), volume 81(2) of Journal of Logic and Algebraic Programming. Elsevier, February 2012. [ bib | DOI ] |
| [3] | Gilles Barthe, Alberto Pardo, and Gerardo Schneider, editors. Software Engineering and Formal Methods, volume 7041 of Lecture Notes in Computer Science. Springer, November 2011. [ bib | DOI ] |
| [4] | Gordon Pace and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software, volume 80(3-5) of Journal of Logic and Algebraic Programming. Elsevier, April-July 2011. [ bib | DOI ] |
| [5] | Gordon Pace and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'08), volume 80(1) of Journal of Logic and Algebraic Programming. Elsevier, January 2011. [ bib | DOI ] |
| [6] | Einar B. Johnsen, Olaf Owe, and Gerardo Schneider, editors. Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007), volume 78(7) of Journal of Logic and Algebraic Programming. Elsevier, August/September 2009. [ bib | DOI ] |
| [7] | Olaf Owe and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), volume 78(5) of Journal of Logic and Algebraic Programming. Elsevier, May/June 2009. [ bib | DOI ] |
This file was generated by bibtex2html 1.97.