ALICE: An Advanced Logic for Interactive Component Engineering.

Borislav Gajanovic, Bernhard Rumpe

Browse the full CADE paper archive.