Reasoning about the correctness of software development process

By: Contributor(s): Material type: ArticleArticleSeries: ^p Datos electrónicos (1 archivo : 216 KB)Subject(s): Online resources:
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Collection Call number URL Status Date due Barcode
Capítulo de libro Capítulo de libro 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.