selected publications
-
conference paper
- Proving the Absence Property Pattern Using the B Method. . 167-170. 2012
Close
Chane-Yack-Fa, Raphaël
Publications
Contact
full name
- Raphaël Chane-Yack-Fa
Publications in VIVO
Co-author Network