Browsing by Subject Isabelle/hol
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |
| Issue Date | Title | Author(s) | Rank |
|---|---|---|---|
| 8-Nov-2011 | Formalization of abstract state transition systems for SAT | Marić, Filip ; Janičić, Predrag | M22 |