Concepedia

New Techniques that Improve MACE-style Model Finding

Koen Claessen, Niklas Sörensson

Chalmers Publication Library (Chalmers University of Technology) · 2003 · 107 citations · 0 references

Concepts