"Proceedings of the 2018 ACM on International Symposium on Symbolic and ..."

Manuel Kauers, Alexey Ovchinnikov, Éric Schost (2018)
[–] 

Details and statistics

DOI: 10.1145/3208976

access: closed

type: Editorship

metadata version: 2018-11-21