Luís Soares Barbosa, Manuel A. Martins, Alexandre Madeira, Renato Neves. Reuse and Integration of Specification Logics: The Hybridisation Perspective. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 1-30, Springer, 2016. [doi]
@incollection{BarbosaMMN16, title = {Reuse and Integration of Specification Logics: The Hybridisation Perspective}, author = {Luís Soares Barbosa and Manuel A. Martins and Alexandre Madeira and Renato Neves}, year = {2016}, doi = {10.1007/978-3-319-31311-5_1}, url = {http://dx.doi.org/10.1007/978-3-319-31311-5_1}, researchr = {https://researchr.org/publication/BarbosaMMN16}, cites = {0}, citedby = {0}, pages = {1-30}, booktitle = {Theoretical Information Reuse and Integration}, editor = {Thouraya Bouabana-Tebibel and Stuart H. Rubin}, volume = {446}, series = {Advances in Intelligent Systems and Computing}, publisher = {Springer}, isbn = {978-3-319-31309-2}, }