Server-Aided Verification: Theory and Practice

From MaRDI portal
Publication:5451093

DOI10.1007/11593447_33zbMATH Open1154.94455OpenAlexW2133740767MaRDI QIDQ5451093FDOQ5451093


Authors: Marc Girault, David Lefranc Edit this on Wikidata


Publication date: 18 March 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11593447_33




Recommendations





Cited In (17)





This page was built for publication: Server-Aided Verification: Theory and Practice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5451093)