Skip to Main content Skip to Navigation
Here is the updated scientific production of the research area "Formal Methods, Models, and Languages". This research area of the Grenoble Informatics Laboratory (LIG) is organized into 3 teams: Keywords: Concurrent systems, Dependability, Embedded systems, Formal specification and verification, Models and programming for the Web, Models of computation, Programming languages and static analysis

LIG website