25 Years of Model Checking (Q3512429)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
25 Years of Model Checking
scientific journal

    Statements