Dongol, Brijesh 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
Software Engineering for Robotics
Cavalcanti, Ana Dongol, Brijesh Hierons, Rob Timmis, Jon Woodcock, Jim
Springer /2021-07-06 Hardcover / 503 Pages
isbn-10: 3030664937 / isbn-13: 9783030664930
Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings (Programming and Software Engineering)
Dongol, Brijesh Troubitsyna, Elena
Springer /2020-11-14 Paperback / 476 Pages
isbn-10: 3030634604 / isbn-13: 9783030634605
