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

De Roover, C. (Speaker)

    Activity: Talk or presentationTalk or presentation at a workshop/seminar

    Period19 Jan 2005
    Event titleTalk "Approximate reasoning about approximate program semantics" at Belgium Symposium on Software Restructuring
    Event typeSeminar