Footprint logic for object-oriented components

Author(s):
Boer, F.S. de; Gouw, C.P.T.; Hiep, H.A. (0000-0001-9677-6644); Bian, J.
Editor(s):
Tapia Tarifa, S.L.; Proença, J.
Published
2022
Publication type
Article in monograph or in proceedings
Date issued
2022
Language
English
Publisher
Cham: Springer
Is part of
Lecture Notes in Computer Science (2022), Pt. 13712, p. 141-160
ISBN source
9783031208713
hdl
1887/3766071
doi
10.1007/978-3-031-20872-0_9

Conference

Meeting name
Formal Aspects of Component Software. FACS 2022
Meeting location
Oslo, Norway
Meeting date
2022-11-10 - 2022-11-11