|
СБ |
Interactive Theorem Proving: Proc./8th International Conference, ITP 2017, Brasilia, Brazil, Septeber 2017 |
2017 |
|
Lecture Notes in Computer Science |
- Ayala-Rincon M.
- Munoz C. A.
|
|
|
21.09.2017 |
|
СБ |
NASA Formal Methods: Proc./13th International Conference, NFM 2021, Virtual Event, May 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Dutle A.
- Moscato M.M.
- Titolo L.
- Munoz C. A.
|
|
|
30.06.2021 |
|
СБ |
Theorem Proving in Higher Order Logics: Proc./15th Intern. Conf., TPHOLs 2002, Hampton, VA, USA, August 2002 |
2002 |
|
Lecture Notes in Computer Science |
- Carreno V. A.
- Munoz C. A.
- Tahar S.
|
|
|
07.09.2002 |
