DMCA

Decision Algorithms for Kleene Algebra with Tests and Hoare Logic (2012)

Cached

Download Links

by Ricardo Manuel , Oliveira Almeida , Orientador Sabine , Babette Broda , Co-orientador Nelma , Resende Araújo Moreira