Béatrice Bérard

Béatrice Bérard has written at least 1 book. Their most popular book is Systems and Software Verification Model-Checking Techniques and Tools with 0 saves with an average rating of -⭐.