Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings
Lecture Notes in Computer Science 11758
Herausgegeben von Dongol, Brijesh
Petre, Luigia
Smith, Graeme
- 出版社：Springer, Berlin; Springer International Publishing;
- 出版年月：2019年 00月
- ISBN：9783030324407
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：1st ed. 2019. 2019. xvi