Publications in lp.bib
2010
[3] GammaPolarSlicer, a Contract-based Tool to help on Reuse (Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto), In INForum'10 --- Simpósio de Informática (CoRTA2010 track) (Luis S. Barbosa, Miguel P. Correia, eds.), Universidade do Minho, 2010. [bib]
[2] Safe Integration of Annotated Components in Open Source Projects (Sérgio Areias, Daniela da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto), In OpenCert'10 --- Fourth International Workshop on Foundations and Techniques for Open Source Software Certification (co-located with SEFM'10) (Luis Barbosa, Antonio Cerone, Siraj Shaikh (Guest Eds.), eds.), Electronic Communications of the EASST, 2010. [bib]
[1] Contract-Based Slicing Helps on Safety Reuse (Sérgio Areias, Daniela da Cruz, Jorge Sousa Pinto), In ICPC '10: Proceedings of the 2010 IEEE 18th International Conference on Program Comprehension (Giulio Antoniol, Keith Gallagher, Pedro Rangel Henriques, eds.), IEEE Computer Society, 2010. [bib]
Powered by bibtexbrowser