Items where Author is "van Binsbergen, LT"
 | Up a level |
Group by: Item Type | No Grouping
Number of items: 2.
VAN BINSBERGEN, L.T., MOSSES, P.D. and SCULTHORPE, N., 2019. Executable component-based semantics. Journal of Logical and Algebraic Methods in Programming, 103, pp. 184-212. ISSN 2352-2208
VAN BINSBERGEN, L.T., SCULTHORPE, N. and MOSSES, P.D., 2016. Tool support for component-based semantics. In: L. FUENTES, D. BATORY and K. CZARNECKI, eds., Modularity companion '16: Companion proceedings of the 15th International Conference on Modularity, Málaga, Spain, 14-17 March 2016. New York: Association for Computing Machinery (ACM), pp. 8-11. ISBN 9781450340335
