Building Bulletproof Software: How Formal Verification Saves the Day - Brossura

Bernard

 
9783384268020: Building Bulletproof Software: How Formal Verification Saves the Day