Checking visual data flow programs with finite process models

    Activity: Talk or presentationConference presentation

    Description

    Contributors: Nummenmaa Timo
    Period27 Aug 2013
    Event title13th Symposium on Programming Languages and Software Tools
    Event typeOther
    Degree of RecognitionInternational