Server-Aided Verification: Theory and Practice

From MaRDI portal
Publication:5451093