Validation of Contracts using Enabledness Preserving Finite State Abstractions.
Saved in:
| Title: | Validation of Contracts using Enabledness Preserving Finite State Abstractions. |
|---|---|
| Authors: | de Caso, Guido1, gdecaso@dc.uba.ar, Braberman, Víctor1, vbraber@dc.uba.ar, Garbervetsky, Diego1, diegog@dc.uba.ar, Uchitel, Sebastián1,2, su2@doc.ic.ac.uksuchitel@dc.uba.ar |
| Source: | ICSE: International Conference on Software Engineering; 2009, p452-462, 11p, 7 Diagrams |
| Database: | Applied Science & Technology Source |
| Description not available. |
