Verified Model-Based Conformance Testing for Dummies (via amw-zero) — discussion
#formalmethods #testing
