International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019

View Statistics Email Alert RSS Feed

Description

Event name
International Conference on Formal Methods in Computer Aided Design (FMCAD) 2019
 
Start date
22-10-2019
End date
25-10-2019
 
Location
San Jose, US
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Filter:
Subject:  first-order theorem proving

Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019