@inproceedings{ JUAN:10-18,

author = { AQUILINO ADOLFO JUAN FUENTE } ,

title = { INSERCIÓN DE LA PROGRAMACIÓN POR CONTRATO EN FICHEROS DE LA JVM (.CLASS) },

booktitle = { SEID 2000 (.2000.ORENSE) },

year = { 2000 },

pages = { 10 - 18 },

location = { ORENSE },

}