In:
|
Lecture Notes in Computer Science, (2017)Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, pp. 462-478
|
Editor(s):
|
Ayala-Rincón, M.; Muñoz, C.A.
|
Journal title:
|
Lecture Notes in Computer Science
|
Book title:
|
Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings |