| 서명 / 저자 |
Software Engineering and Formal Methods [electronic resource] : 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings / edited by Frank de Boer, Antonio Cerone.
|
| 저자명 |
de Boer, Frank. editor. edt http://id.loc.gov/vocabulary/relators/edt
; Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 https://orcid.org/0000-0003-2691-5279 edt http://id.loc.gov/vocabulary/relators/edt
|
| 단체명 |
SpringerLink (Online service)
|
| 판사항 |
1st ed. 2020.
|
| 발행사항 |
Cham : Springer International Publishing : Imprint: Springer, 2020.
|
| 총서명 |
Theoretical Computer Science and General Issues, 2512-2029 ; 12310
|
| Online Access |
https://doi.org/10.1007/978-3-...
URL
|
