Functional Software Architecture

Formal Verification

A Functional Software Architecture Pattern

TODO