View in EDS PDF Full Text

Enabledness-Based Program Abstractions for Behavior Validation.

Saved in:
Bibliographic Details
Title: Enabledness-Based Program Abstractions for Behavior Validation.
Authors: DE CASO, GUIDO1, gdecaso@dc.uba.ar, BRABERMAN, VICTOR1, GARBERVETSKY, DIEGO1, UCHITEL, SEBASTIAN1,2
Source: ACM Transactions on Software Engineering & Methodology; Jul2013, Vol. 22 Issue 3, p25:1-25:46, 46p
Database: Applied Science & Technology Source
Description
ISSN:1049331X
DOI:10.1145/2491509.2491519