Laguna University Digital Library
Discover books, e-journals, theses, and special collections — all in one place.
Formal methods and software engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1-3, 2021, Proceedings.
by Lin, Shang-Wei, Hou, Zhe and Mahoney, Brendan ed.by.Published by: Cham, Switzerland : Springer , 2020
- Sublocation
- EGC
- Call Number
- 004.01 F765 2020
- Physical Desc.
- xii, 334 p.
- ISBN
- 978-3-030-63406-3
- Copies
- —