Roberto Di Cosmo, Ralf Treinen, and Stefano Zacchiroli. Formal aspects of free and open source software components - a short survey. In FMCO, pages 216--239, 2012.

bib | DOI | Local copy ] This file was generated by bibtex2html 1.99.