SQLCert

MaRDI QIDQ40390swMATHFDO

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

Cited in

(4)

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

This page was built for software: SQLCert