서명 / 저자 |
Tests and Proofs [electronic resource] : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings / edited by Virgile Prevosto, Cristina Seceleanu.
|
저자명 |
Prevosto, Virgile. editor. (orcid)0000-0002-7203-0968 https://orcid.org/0000-0002-7203-0968 edt http://id.loc.gov/vocabulary/relators/edt
; Seceleanu, Cristina. editor. (orcid)0000-0003-2870-2680 https://orcid.org/0000-0003-2870-2680 edt http://id.loc.gov/vocabulary/relators/edt
|
단체명 |
SpringerLink (Online service)
|
판사항 |
1st ed. 2023.
|
발행사항 |
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
|
총서명 |
Lecture Notes in Computer Science, 1611-3349 ; 14066
|
Online Access |
https://doi.org/10.1007/978-3-...
URL
|