Leveraging formal specification to implement a database backend. (Utilisation de spécifications formelle pour implémenter un backend de base de données). - Saalik Hatia (2023)

Models for Storage in Database Backends. - Edgard Schiebelbein; Saalik Hatia; Annette Bieniusa; Carla Ferreira 001; Gustavo Petri; Marc Shapiro 001 (PaPoC@EuroSys, 2024)