VERIMAG Laboratory
E246527
UNEXPLORED
VERIMAG Laboratory is a French research center specializing in formal methods and the verification of complex hardware and software systems.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.