مخبر LIP6

APR

• A Journey into the (In)Completeness of Program Analysis by Abstract Interpretation
• Static Typing of Dynamic Languages: A set-theoretic type algebra for the R language

MoVe

• Conformance checking in time-aware process models