1 citations · 1 across the 1 of their papers we have counts for
1 paper
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…