Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3766071

Documents

In Collections

This item can be found in the following collections:

Boer, F.S. de; Gouw, C.P.T.; Hiep, H.A.; Bian, J. (2022)

Footprint logic for object-oriented components

Article in monograph or in proceedings
All authors
Boer, F.S. de; Gouw, C.P.T.; Hiep, H.A.; Bian, J.
Editor(s)
Tapia Tarifa, S.L.; Proença, J.
Date
2022
Title of host publication
Lecture Notes in Computer Science; Formal aspects of component software. FACS 2022
Pages
141 - 160
ISBN (print)
9783031208713
ISBN (electronic)
9783031208720
DOI
doi:10.1007/978-3-031-20872-0_9

Publication Series

Name
13712

Conference

Conference
Formal Aspects of Component Software. FACS 2022
Date
2022-11-10 - 2022-11-11
Location
Oslo, Norway