CITATION STYLE
Albert, E., Gómez-Zamalloa, M., Hubert, L., & Puebla, G. (2006). Verification of Java Bytecode Using Analysis and Transformation of Logic Programs (pp. 124–139). https://doi.org/10.1007/978-3-540-69611-7_8
Mendeley helps you to discover research relevant for your work.