SQLCert

swMATH28676MaRDI QIDQ40390FDOQ40390

Author name not available (Why is that?)

Cited In (1)

• A Coq formalisation of SQL's execution engines

This page was built for software: SQLCert