Le LMF, un nouveau laboratoire d’informatique sur le plateau !
… notamment par les deux Computer-Aided Verification (CAV) awards obtenus lors de conférences internationales du CAV. En … notamment par les deux Computer-Aided Verification (CAV) awards obtenus lors de conférences internationales du CAV. En …
Published on: