Harald Ganzinger’s Legacy: Contributions to Logics and Programming (Q4916069)

From MaRDI portal
Revision as of 06:56, 28 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article; zbMATH DE number 6155883
Language Label Description Also known as
English
Harald Ganzinger’s Legacy: Contributions to Logics and Programming
scientific article; zbMATH DE number 6155883

    Statements

    Harald Ganzinger’s Legacy: Contributions to Logics and Programming (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    19 April 2013
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references