Combined display of all available logs of ConfIDent. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 10:00, 5 September 2022 Curator 75 talk contribs created page FM - International Symposium on Formal Methods (Created page with "{{Event Series |Acronym=FM |Title=International Symposium on Formal Methods |Recurrence Unit=year |Academic Field=Automation Theory; Logic Programming; Software Verification;...")