Talk "Approximate reasoning about approximate program semantics" at Belgium Symposium on Software Restructuring

De Roover, C. (Speaker)

    Activiteit: Talk or presentation at a workshop/seminar

    Periode19 jan 2005
    EvenementstitelTalk "Approximate reasoning about approximate program semantics" at Belgium Symposium on Software Restructuring
    EvenementstypeSeminar