Validation of contracts using enabledness preserving finite state abstractions

ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Department of Computing, Imperial College. London, UK ICSE 2009, Vancouver, Canada 

• Type: Conference
• Year: 2009
• Where: ICSE
• Authors: Diego Garbervetsky, Guido de Caso, Sebastián Uchitel, Víctor A. Braberman
• Keywords: ICSE 2009, Software Engineering