Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
![loading](/sites/all/modules/hf_eds/images/loading.gif)
Processing Request
Subjects: DE
-
Source:
Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 13994, 391-409 (2023). doi:10.1007/978-3-031-30820-8_24 ; Tools and Algorithms for the Construction and Analysis of Systems : 29th
-
Record details
Subjects: DE
-
Source:
Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 13966, 113-135 (2023). doi:10.1007/978-3-031-37709-9_6 ; Computer Aided Verification : 35th International Conference, CAV 2023,
-
Record details
Subjects: DE
-
Source:
Cham : Springer Nature Switzerland, Lecture Notes in Computer Science 13994, 410-429 (2023). doi:10.1007/978-3-031-30820-8_25 ; Tools and Algorithms for the Construction and Analysis of Systems : 29th
-
Record details
Subjects: info:eu-repo/classification/ddc/004DE
-
Source:
Proceedings of the ACM on programming languages 7(OOPSLA1), 99 (2023). doi:10.1145/3586051 ; International Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 2023,
-
Record details
Subjects: info:eu-repo/classification/ddc/004DE
-
Source:
Proceedings of the ACM on programming languages 7(OOPSLA2), 294 (2023). doi:10.1145/3622870 ; International Conference on Systems, Programming, Languages and Applications: Software for Humanity,
-
Record details
Subjects: info:eu-repo/classification/ddc/004DE
-
Source:
Proceedings of the ACM on programming languages : (PACMPL) 7(POPL), 67 (2023). doi:10.1145/3571260 ; Principles of Programming Languages, POPL 2023, Boston, MA, USA, 2023-01-15 - 2023-01-21
-
Record details
Subjects: DE
-
Source:
Cham : Springer International Publishing, Lecture Notes in Computer Science 13242, 449-469 (2022). doi:10.1007/978-3-030-99253-8_23 ; Foundations of Software Science and Computation Structures : 25th
-
Record details