Concepedia

Institution (Facility)

Laboratory Preuves, Programmes et Systèmes

HomepageROR

Also Known As

Laboratory Preuves, Programmes et Systèmes, UMR 7126, UMR7126 · Acronym: PPS

650

Publications

10.6K

Citations

5

Authors

127

Concepts

About

Laboratory Preuves, Programmes et Systèmes is a facility institution in Paris, France known for engineering, formal methods, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

29

91

3.7K

2

Language Studies

13

17

712

3

Business

5

7

141

4

Arts

2

2

49

5

Education

2

2

33

Laboratory Preuves, Programmes et Systèmes

×

650

Publications

10.6K

Citations

YearCitations

Page 1