Serdar Taşıran

Books
Verified Software. Theories, Tools and Experiments Verified Software. Theories, Tools and Experiments
Verified Software. Theories, Tools and Experiments
2024
Runtime Verification Runtime Verification
Runtime Verification
2007