Functional Software Architecture

Correctness by Construction

A Functional Software Architecture Pattern

TODO