Software Engineering for RoboticsAna Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock · First published 2021Open the Tome
Formal Methods TeachingBrijesh Dongol, Luigia Petre, Graeme Smith · First published 2019Open the Tome
