20th International Conference on Integrated Formal Methods (iFM 2025)

View Statistics Email Alert RSS Feed

Description

Event name
20th International Conference on Integrated Formal Methods (iFM 2025)
 
Event type
Event for scientific audience
 
Start date
19-11-2025
End date
21-11-2025
 
Location
Paris
Country
France
 
Conference Track
Single Track
Event format Veranstaltungsformat
On Site

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Rain, Sophie ; Petković Komel, Anja ; Rawson, Michael ; Kovacs, Laura Game Modeling of Blockchain ProtocolsInproceedings Konferenzbeitrag 15-Nov-2025