Full Semantic Transparency: Overcoming Boundaries of Applications.

Andrea Kohlhase, Michael Kohlhase, Constantin Jucovschi, Alexandru Toader

Browse the full Interact paper archive.