Relational Reasoning via SMT Solving.

Aboubakr Achraf El Ghazi, Mana Taghdiri

Browse the full FM paper archive.