Sign in
Join Literal
Authors
Author
Brijesh Dongol
Books
Integrated Formal Methods
Brijesh Dongol, Elena Troubitsyna
Software Engineering for Robotics
Ana Cavalcanti, Jon Timmis, Jim Woodcock, Brijesh Dongol, Rob Hierons