Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX)

Third party funded individual grant


Acronym: COAX

Start date : 01.10.2014

End date : 31.07.2018