Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs (Q6053407)

From MaRDI portal
scientific article; zbMATH DE number 7742408
Language Label Description Also known as
English
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
scientific article; zbMATH DE number 7742408

    Statements

    Identifiers