Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
Theoretical Computer Science and General Issues 13085
Herausgegeben:Pasareanu, Corina S.
Calinescu, Radu
- 出版社：Springer, Berlin; Springer
- 出版年月：2022年 00月
- ISBN：9783030921231
- 装丁：PAP
-
装丁について
- 版次：1st ed. 2021. 2022. XV