Input-Output Model Programs.

Margus Veanes, Nikolaj S. Bjrner

Browse the full ICTAC paper archive.