by Jean-Louis Boulanger
No reviews yet. Be the first!
Formal Methods
Industrial Use of Formal Methods
Scade
Safety of Software-Based Systems
Formal Methods Applied to Industrial Com...
Formal Methods Applied to Complex System...
How we test software at Microsoft
Global specification and validation of e...
Software engineering reviews and audits
Wicket in action
Validation, verification, and testing of...
Identifying relevant information for tes...