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

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

    Period28 Mar 2007
    Event titleInvited Talk "Behavioral Program Queries using Logic Source Code Templates" at Copenhagen Programming Language Seminar
    Event typeSeminar
    SponsorUniversity of Copenhagen