logo
correctness-by-construction approaches for software and systems engineering

Kết quả hội nghị (1)

International Workshop on Formal Methods for interactive Systems (FMIS)

Rank: COffline
Ottawa, Ontario, Canada
Apr 27, 2025 - Apr 28, 2025
experience reports on the application of formal methods to real-world problemsguidelines to use formal methods in practiceusability of formal methods+14 thêm