Ruzica Piskac

Bücher
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
Verified Software. Theories, Tools, and Experiments Verified Software. Theories, Tools, and Experiments
Verified Software. Theories, Tools, and Experiments
2018