Additional Metadata
THEME Software (theme 1)
Publisher Helsinki University
Journal Nordic Journal of Computing
Citation
Kyas, M, de Boer, F.S, & de Roever, W.P. (2005). A Compositional Trace Logic For Behavioral Interface Specifications. Nordic Journal of Computing, 12(2), 116–132.