@InProceedings{a.a.elghazi-nfm2015,
author = {Aboubakr Achraf {El Ghazi} and Mana Taghdiri and Mihai Herda},
title = {First-Order Transitive Closure Axiomatization via Iterative Invariant Injections},
booktitle = {7th NASA Formal Methods Symposium (NFM 2015)},
pages = {143-157},
address = {Pasadena},
year = {2015},
month = {April}
}
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections
| Autor(en): | Aboubakr Achraf El Ghazi, Mana Taghdiri und Mihai Herda |
|---|---|
| In: | 7th NASA Formal Methods Symposium (NFM 2015) |
| Jahr: | 2015 |
| Seiten: | 143-157 |