SQLCert

swMATH28676MaRDI QIDQ40390FDOQ40390

Author name not available (Why is that?)

Official website: http://datacert.lri.fr/sqlcert/

Cited In (4)

• A Coq formalisation of SQL's execution engines
• HoTTSQL
• Q*cert
• SEQUEL

This page was built for software: SQLCert