Component Composition in MedTiny: Multi-Level Constructs and Operational Semantics.

Xiangyu Li, Yihao Zhang, Meng Sun

Browse the full SEKE paper archive.