Student.
Company:École Normale Supérieure de LyonLocation:Lyon
A first-order concurrent automated theorem prover
