DOI

Язык оригиналаанглийский
Название основной публикацииFoundations of Software Science and Computation Structures
Подзаголовок основной публикации26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings
РедакторыOrna Kupferman, Pawel Sobocinski
ИздательSpringer Nature
Страницы176–195
Число страниц20
ISBN (электронное издание)978-3-031-30829-1
ISBN (печатное издание)978-3-031-30828-4
DOI
СостояниеОпубликовано - 21 апр 2023
Событие26th International Conference on Foundations of Software Science and Computation Structures: Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 - Campus Pierre & Marie Curie, Paris, Франция
Продолжительность: 24 апр 2023 → 27 апр 2023
Номер конференции: 26
https://etaps.org/2023/conferences/

Серия публикаций

НазваниеLecture Notes in Computer Science
ИздательSpringer Nature
Том13992
ISSN (печатное издание)0302-9743
ISSN (электронное издание)1611-3349

конференция

конференция26th International Conference on Foundations of Software Science and Computation Structures
Сокращенное названиеFoSSaCS 2023
Страна/TерриторияФранция
ГородParis
Период24/04/23 → 27/04/23
Сайт в сети Internet

ID: 104792435