Accéder directement au contenu

Diego Figueira

2
Documents

Publications

stephane-demri
Image document

Reasoning about Data Repetitions with Counter Systems

Stéphane Demri , Diego Figueira , M. Praveen
Annual IEEE/ACM Symposium on Logic in Computer Science (LICS), Jun 2013, New Orleans, United States. ⟨10.1109/LICS.2013.8⟩
Communication dans un congrès hal-01795130v1