formal methods in automated design debugging (en Inglés)

safarpour, sean · vdm verlag