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).
- 07:34, 15 November 2022 Curator 75 talk contribs created page SPIN - International SPIN Symposium on Model Checking of Software (Created page with "{{Event Series |Acronym=SPIN |Title=International SPIN Symposium on Model Checking of Software |Recurrence Period=1 |Recurrence Unit=year |Academic Field=Applications And Soft...")