Brijesh Dongol

Books by Brijesh Dongol

Total count: 3

• 
  Formal Methods TeachingThird International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...

  Springer2019-10-16
• Integrated Formal Methods16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings

  Springer International Publishing AG2020-01-01
• Software Engineering for Robotics

  Springer International Publishing AG2021-01-01