https://hal.inria.fr/inria-00480709 Contributor : Samuel ColinConnect in order to contact the contributor Submitted on : Tuesday, May 4, 2010 - 5:30:24 PM Last modification on : Tuesday, October 19, 2021 - 6:38:11 PM Long-term archiving on: : Thursday, September 16, 2010 - 12:43:03 PM
Samuel Colin, Dorian Petit, Georges Mariano, Vincent Poirriez. BRILLANT: an open source platform for B. Workshop on Tool Building in Formal Methods, Feb 2010, Orford, Canada. ⟨inria-00480709⟩