Michael James Batek

• Test-driven transformations in logic design