Book
2021, Volume 12597
ISBN : 978-3-030-67066-5
Chapter
Series: Computer Science Foundations and Applied Logic, Year: 2024, Page 263
DOI: 10.1007/978-3-031-55608-1_5
This item cites DOI: 10.1007/978-3-030-67067-2_12
Read OnlineArticle
Journal: International Journal on Software Tools for Technology Transfer, 2022, Volume 24, Number 1, Page 33
DOI: 10.1007/s10009-021-00637-9
This item cites DOI: 10.1007/978-3-030-67067-2_10
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2024, Volume 14571, Page 155
DOI: 10.1007/978-3-031-57249-4_8
This item cites DOI: 10.1007/978-3-030-67067-2_14
Read OnlineArticle
Journal: International Journal on Software Tools for Technology Transfer, 2021, Volume 23, Number 5, Page 797
DOI: 10.1007/s10009-020-00603-x
This item cites DOI: 10.1007/978-3-030-67067-2_11
Read OnlineArticle
Journal: Concurrency and Computation: Practice and Experience, 2024, Volume 36, Number 14
DOI: 10.1002/cpe.8105
This item cites DOI: 10.1007/978-3-030-67067-2_18
Read OnlineArticle
Journal: Sādhanā, 2023, Volume 49, Number 1
DOI: 10.1007/s12046-023-02291-0
This item cites DOI: 10.1007/978-3-030-67067-2_18
Read OnlineArticle
Journal: Proceedings of the ACM on Programming Languages, 2023, Volume 7, Number POPL, Page 659
DOI: 10.1145/3571216
This item cites DOI: 10.1007/978-3-030-67067-2_16
Read OnlineChapter
Series: Lecture Notes in Computer Science, Year: 2023, Volume 14284, Page 3
DOI: 10.1007/978-3-031-44245-2_1
This item cites DOI: 10.1007/978-3-030-67067-2_16
Read OnlineArticle
Journal: Computing, 2023, Volume 105, Number 5, Page 955
DOI: 10.1007/s00607-022-01092-3
This item cites DOI: 10.1007/978-3-030-67067-2_8
Read OnlineArticle
Journal: IEEE Transactions on Software Engineering, 2021, Page 1
This item cites DOI: 10.1007/978-3-030-67067-2_17
Read Online