DMCA

Foundations of relational artifacts verification (2011)

by Babak Bagheri Hariri , Diego Calvanese , Giuseppe De Giacomo , Riccardo De Masellis , Paolo Felli
Citations:20 - 9 self