Login / Signup

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures.

Georg JungJohn Hatcliff
Published in: Sci. Comput. Program. (2010)
Keyphrases