1 expert in "formal approaches for design and verification" found: