TY  - SER
AU  - Staskauskas, Mark
TI  -  Formal Derivation of Concurrent Programs an Example from Industry
KW  - Concurrency
KW  -  Formal Specification
KW  - Unity Pf
ER  -