TLA+, Model Checking, Coq, Theorem Proving, Specification Languages
From Physical Archives to Digital Preservation: Reflecting on a Forty-Year Transformation
dpconline.org·12h
Loading...Loading more...
TLA+, Model Checking, Coq, Theorem Proving, Specification Languages