Logique : le calcul propositionnel - Irisa

6.14 Design, Verification, Test, and In-Field Implications of ... A. Kritikakou: C and unix programming languages, 76h, ISTIC (L3).

STATIC TESTING - Irisa