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

First Page		Document Content
Date: 2012-08-19 16:00:00		Automatic Verification of Counter Systems via Domain-Specific Multi-Result Supercompilation (meta 2012) Add to Reading List Source URL: meta2012.pereslavl.ru Download Document from Source Website File Size: 240,27 KB Share Document on Facebook