ISBN 9783030324407 books & textbook
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ... Computer Science and General Issues)
Dongol, Brijesh Petre, Luigia Smith, Graeme
Springer /2019-10-16 Paperback / 264 Pages
isbn-10: 3030324400 / isbn-13: 9783030324407
