Formal Aspects of Free and Open Source Software Components - A Short Survey.
['Roberto Di Cosmo', 'Ralf Treinen', 'Stefano Zacchiroli']
Formal Aspects of Free and Open Source Software Components - A Short Survey.