News5
I was invited by proofs.swiss to present my poster on my current research “the VerIso framework for verification of isolation guarantees in database transactions” at the “Proof Systems for Mathematics and Verification” event at EPFL.
I was invited by proofs.swiss to present my poster on my current research “the VerIso framework for verification of isolation guarantees in database transactions” at the “Proof Systems for Mathematics and Verification” event at EPFL.