Florent Chevrou
According to our database1,
Florent Chevrou
authored at least 6 papers
between 2015 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
0
1
2
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2019
J. Log. Algebraic Methods Program., 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
2017
Formalisation of asynchronous interactions. (Formalisation des interactions asynchrones).
PhD thesis, 2017
2016
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016
2015
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015