לירון כהן
אקדמי בכיר
12th international conference on interactive theorem proving
| שפת פרסום | אנגלית |
| כתב עת | Leibniz International Proceedings in Informatics, LIPIcs |
| כרך | 193 |
| סטטוס פרסום | פורסם - 01.06.2021 |
ASJC Scopus subject areas
Software
