AVANZADA

1 Artículos

Model variables: cleanly supporting abstraction in design by contract

Solicitud

usuarios registrados

Yoonsik Cheon, Gary Leavens, Murali Sitaraman, Stephen Edwards Pág. 583 - 599

Revista: SOFTWARE, PRACTICE & EXPERIENCE Formato: Impreso

Tabla de contenido: Vol: 35 Num: 6 Par: 0 Año: 2005

« Anterior Página: 1 de 1 Siguiente »