View in EDS PDF Full Text

Automated Abstractions for Contract Validation.

Saved in:
Bibliographic Details
Title: Automated Abstractions for Contract Validation.
Authors: de Caso, Guido1, Braberman, Victor1, Garbervetsky, Diego1, Uchitel, Sebastian2
Source: IEEE Transactions on Software Engineering; Jan2012, Vol. 38 Issue 1, p141-162, 0p, 11 Diagrams, 3 Charts
Database: Applied Science & Technology Source
Description
ISSN:00985589
DOI:10.1109/TSE.2010.98