Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (meta 2012) - Counter - Document - PDFSEARCH.IO

First Page	Meta Content
	Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (meta 2012) Add to Reading List Document Date: 2012-08-19 16:00:00 Open Document File Size: 240,27 KB Share Result on Facebook

UPDATE

Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (meta 2012)Add to Reading List