Integrated Formal Methods : 19th International Conference, IFM 2024 Manchester, UK, November 13–15, 2024 Proceedings

Book title Buchtitel
Integrated Formal Methods : 19th International Conference, IFM 2024 Manchester, UK, November 13–15, 2024 Proceedings
 
ISBN
978-3-031-76554-4
 
Editor Herausgeber_in
 
Publisher Verlag
Springer
 
Place of publishing Erscheinungsort
Cham
 
Volume Band
15234
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Loitzl, Alexander ; Zuleger, Florian Modeling Register Pairs in CompCertInproceedings Konferenzbeitrag 13-Nov-2024