Florent Chevrou

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 5

Top Topics

Automated Verification

Diversity Measures

Asynchronous Communication

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

J. Log. Algebraic Methods Program.

Formal Aspects Comput.

Publications