Coverage Criteria for Set-Based Specifications - Aix-Marseille Université Access content directly
Journal Articles RITA/Revista de Informática Teórica e Aplicada Year : 2015

Coverage Criteria for Set-Based Specifications

Abstract

no abstract
No file

Dates and versions

hal-01487939 , version 1 (13-03-2017)

Identifiers

  • HAL Id : hal-01487939 , version 1

Cite

Maximiliano Cristia, Claudia Frydman. Coverage Criteria for Set-Based Specifications. RITA/Revista de Informática Teórica e Aplicada, 2015, 22, pp.316-335. ⟨hal-01487939⟩
43 View
0 Download

Share

Gmail Facebook X LinkedIn More