Concepedia

Laboratoire Méthodes Formelles

LM

Statistics

Publications

396

Citations

1.9K

Authors

1

Location

Gif-sur-Yvette, France

Also known as LMF · Formal Method Laboratory · UMR 9021 · UMR9021

Laboratoire Méthodes Formelles is a facility institution in Gif-sur-Yvette, France known for computer science, computing, and quantum mechanics.

HomepageROR

Top concepts

Publications

396

Authors

1

  1. MS
    Mateusz Skomra

    Laboratoire Méthodes Formelles, France

    29 publications · 58 citations

    4

    h-index

1–1 of 1