9 citations · 17 across the 8 of their papers we have counts for
1 paper · 1 filter
Ahmed Al-Brashdi, Michael Butler, Abdolbaghi Rezazadeh
Correct operation of many critical systems is dependent on the data consistency and integrity properties of underlying databases. Therefore, a verifiable and rigorous database desi…