18 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
Edgard Schiebelbein, Saalik Hatia, Annette Bieniusa +3
This paper describes ongoing work on developing a formal specification of a database backend. We present the formalisation of the expected behaviour of a basic transactional system…