Automated Technology for Verification and Analysis: 21st International Symposium

Automated Technology for Verification and Analysis - 9783031453311

Andr - Automated Technology for Verification and Analysis 21st Inte - X555z

Marston - Transgenerational Technology and Interactions for the 21st C - X555z

Bouajjani - Automated Technology for Verification and Analysis 20th - X555z

Social Welfare: Policy and Analysis (Nelson-Hall Series in Social Welfare), Andr

Automated Technology for Verification and Analysis 14th Internati

Marston - Transgenerational Technology and Interactions for the 21st C - X555z