Article detail

Authors: Cristiá, Maximiliano; Cuenca, Joaquín; Frydman, Claudia.

Title: Coverage Criteria for Set-Based Specifications.

Magazine: REVISTA DE INFORMATICA TEORICA E APLICADA.

articulo_idioma: Inglés.

Editorial: Instituto de Informática - UFRGS.

Publishing country: Brasil.

Reference type: Con Referato.

It's published?: Yes

ISSN: 0103-4308.

Volumen: 22.

Number: 2.

Pages:316-335