Book

Formal Methods Teaching

by Catherine Dubois, Pierluigi San Pietro