Představení autora B. Berard:

Doposud vydané knihy od B. Berard:

Ověřování systémů a softwaru: Techniky a nástroje pro ověřování modelů - Systems and Software...

Kontrola modelů je účinný přístup k formální...