CITATION STYLE
Halpin, H. (2006). From typed-functional semantic web services to proofs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4273 LNCS, pp. 976–977). Springer Verlag. https://doi.org/10.1007/11926078_76
Mendeley helps you to discover research relevant for your work.