• Formal Aspects of Free and Ope...

Treffer: Formal Aspects of Free and Open Source Software Components

Title:
Formal Aspects of Free and Open Source Software Components
Formal methods for components and objects; Formal methods for components and objects: 11th international symposium, FMCO 2012, Bertinoro Italy, September 24-28, 2012 : revised lectures
Authors:
Di Cosmo, R., Treinen, R., Zacchiroli, S.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (7866):216-240
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN085184415&indx=1&recIds=ETOCCN085184415
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings