Invited Talk "Behavioral Program Queries using Logic Source Code Templates" at Copenhagen Programming Language Seminar

    Activiteit: Talk or presentation at a workshop/seminar

    Periode28 mrt 2007
    EvenementstitelInvited Talk "Behavioral Program Queries using Logic Source Code Templates" at Copenhagen Programming Language Seminar
    EvenementstypeSeminar
    SponsorUniversity of Copenhagen

    Documenten & links