Complete Test Suites for Automata in Monoidal Closed Categories.

Blint Kocsis, Jurriaan Rot

Browse the full FOSSACS paper archive.