1
publication
with
ACM ID
/
2019
/
Mirko Viroli
Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
(article in journal) ACM Transactions on Computational Logic 20(1), January 2019
1 publication in 2019 with ACM ID •
top •
index •
bottom