Reasoning about the correctness of software development process
Material type:
Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | Biblioteca digital | A0118 (Browse shelf(Opens below)) | Link to resource | Recurso en Línea |
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 09/03/2009)
24th International Conference on Software Engineering, Poster Session, May 2002.