Étienne André

No bio available. Add one in Open Library.

Books by Étienne André (50 max)

+ shelf+ list

Automated Technology for Verification and Analysis 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I

2023

Étienne André, Jun Sun

+ shelf+ list

Formal Modeling and Analysis of Timed Systems 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings

2019

Étienne André, Mariëlle Stoelinga