Curator 75 (talk | contribs) (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...") |
Curator 75 (talk | contribs) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 5: | Line 5: | ||
|Recurrence Unit=year | |Recurrence Unit=year | ||
|Academic Field=Applications And Software Development | |Academic Field=Applications And Software Development | ||
| − | |Official Website=https:// | + | |Official Website=https://spinroot.com/spin/symposia/ |
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier | ||
|DBLP Series ID=spin | |DBLP Series ID=spin | ||
| − | |||
}} | }} | ||
{{S Event Series}} | {{S Event Series}} | ||
Latest revision as of 07:19, 16 November 2022
Events
