ChaseT: A tool for checking chase termination
- Andrea De Francesco
- , Sergio Greco
- , Francesca Spezzano
- , Irina Trubitsyna
- University of Calabria
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1
Scopus
citations