Brijesh Dongol – författare

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

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part I

Formal Methods. FM 2019 International Workshops

Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II

Integrated Formal Methods

16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings

Software Engineering for Robotics