STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Brijesh Dongol | lit.salon
Brijesh Dongol
No bio available.
Add one in Open Library.
Books by Brijesh Dongol (50 max)
+ shelf
+ list
Software Engineering for Robotics
2021
Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock
+ shelf
+ list
Formal Methods Teaching : Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...
2019
Brijesh Dongol, Luigia Petre, Graeme Smith
+ shelf
+ list
Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
2020
Brijesh Dongol, Elena Troubitsyna
