Verification, Induction, Termination Analysis (Q3058447)

From MaRDI portal
scientific journal
Language Label Description Also known as
English
Verification, Induction, Termination Analysis
scientific journal

    Statements