Summary

High Level and Low Level Program Specifications for Safe Composability. Programs call other programs, are distributed, use parallel processing. Formal specification approach for verifying correctness of composed software systems.