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

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