Faculty / Departement ⤶ |
Register by Units | Register by Projects | Register of researchers |
Register by Collaborations | Ranking by Domains | Ranking by Frascati | Disciplines CREF |
Units : Verification and formal methods | ULB512
The CVF is a working group gathering the various teams working on computer aided verification in the Communauté Wallonie-Bruxelles in Belgium. Funded by the FNRS (FRFC 2.4530.02), the group organizes seminars and offer a common and collaborative framework for the various groups in it. See http://www.ulb.ac.be/di/ssd/cfv/
• Fonds associés (toutes subventions, y compris la Loterie Nat.)
• Autres U.E.