2009 31st International Conference on Software Engineering (ICSE 2009)
Validation of contracts using enabledness preserving finite state abstractions
DOI Bookmark: 10.1109/ICSE.2009.5070544
Authors
Guido de Caso, Departamento de Computación, FCEyN, UBA, Buenos Aires, ArgentinaVictor Braberman, Departamento de Computación, FCEyN, UBA, Buenos Aires, Argentina
Diego Garbervetsky, Departamento de Computación, FCEyN, UBA, Buenos Aires, Argentina
Sebastian Uchitel, Departament of Computing, Imperial College, London, UK