Automated Technology for Verification and Analysis (Q3172900)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Automated Technology for Verification and Analysis
scientific journal

    Statements