Persistent URL of this record https://hdl.handle.net/1887/3766071
Documents
-
- Download
- Full text
- Publisher's Version
-
open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Footprint logic for object-oriented components
- 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
Publication Series
- Name
- 13712
Conference
- Conference
- Formal Aspects of Component Software. FACS 2022
- Date
- 2022-11-10 - 2022-11-11
- Location
- Oslo, Norway