Guillaume Brat

Guillaume Brat is the author of "NASA Formal Methods" and "Experimental Evaluation of Verification and Validation Tools on Martian Rover Software".

Books by Guillaume Brat

NASA Formal Metho...
Brat Guillaume
Electronic book text: $107.00

Experimental Eval...
Brat, Guillaume
Paperback: $15.75

NASA Formal Metho...
Brat Guillaume
Paperback: $54.99