Footprint Logic for Object-Oriented Components

Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationFormal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
EditorsSilvia Lizeth Tapia Tarifa, José Proença
Place of Publicationcham
PublisherSpringer
Pages141-160
Number of pages20
Volume13712
Edition1
ISBN (Electronic) 978-3-031-20872-0
ISBN (Print)978-3-031-20871-3
DOIs
Publication statusPublished - 2 Nov 2022
Event18th International Conference on Formal Aspects of Component Software - Oslo, Norway
Duration: 10 Nov 202211 Nov 2022
Conference number: 18
https://facs-conference.github.io/2022/

Publication series

SeriesLecture Notes in Computer Science

Conference

Conference18th International Conference on Formal Aspects of Component Software
Abbreviated titleFACS 2022
Country/TerritoryNorway
CityOslo
Period10/11/2211/11/22
Internet address

Cite this