Verified Software. Theories, Tools, and Experiments More Books by Ruzica Piskac & Philipp Rümmer

Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2025
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2025
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2025
Computer Aided Verification Computer Aided Verification
Computer Aided Verification
2025