Linear Software Models for Well-composed Systems.

Iaakov Exman

Browse the full ICSoft paper archive.