An automata-theoretic approach to software verification

• Authors:

• Javier Esparza

• Affiliations:

• Institute for Formal Methods in Computer Science, University of Stuttgart, Germany

• Venue:
• DLT'03 Proceedings of the 7th international conference on Developments in language theory
• Year:
• 2003