Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
| Original language | English |
|---|---|
| Title of host publication | Foundations of Software Science and Computation Structures |
| Subtitle of host publication | 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 |
| Editors | Orna Kupferman, Pawel Sobocinski |
| Publisher | Springer Nature |
| Pages | 176–195 |
| Number of pages | 20 |
| ISBN (Electronic) | 978-3-031-30829-1 |
| ISBN (Print) | 978-3-031-30828-4 |
| DOIs | |
| State | Published - 21 Apr 2023 |
| Event | 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, France Duration: 24 Apr 2023 → 27 Apr 2023 Conference number: 26 https://etaps.org/2023/conferences/ |
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Nature |
| Volume | 13992 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
| Conference | 26th International Conference on Foundations of Software Science and Computation Structures |
|---|---|
| Abbreviated title | FoSSaCS 2023 |
| Country/Territory | France |
| City | Paris |
| Period | 24/04/23 → 27/04/23 |
| Internet address |
ID: 104792435