|Faculty / Departement||Register by Units||Register by Projects||Register of researchers|
|Register by Collaborations||Ranking by Domains||Ranking by Frascati||Disciplines CREF|
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.