TACAS – 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems

View Statistics Email Alert RSS Feed

Description

Event name
TACAS – 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
 
Event type
Event for scientific audience
 
Start date
24-04-2023
End date
27-04-2023
 
Location
Paris
Country
France
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Korovin-2023-ALASCA Reasoning in Quantified Linear Arithmetic-vor.pdf.jpgKorovin, Konstantin ; Kovács, Laura ; Reger, Giles ; Schoisswohl, Johannes ; Voronkov, Andrei ALASCA: Reasoning in Quantified Linear ArithmeticInproceedings Konferenzbeitrag 2023