Inserción de la Programación por Contrato en Ficheros Objeto de la JVM (.class)
Publication date:
2000
Descripción física:
p. 551-559
Description:
Simposio Español de Informática Distribuida (SEID) (2000. Ourense)
ISBN:
84-8158-163-1
Simposio Español de Informática Distribuida (SEID) (2000. Ourense)