Home | Impressum | Sitemap | KIT

Relational Reasoning via SMT Solving

Relational Reasoning via SMT Solving
Autor:

Aboubakr Achraf El Ghazi, Mana Taghdiri

Quelle:

17th International Symposium on Formal Methods (FM), Limerick, Ireland, 2011. To appear in LNCS.