A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1 - CHIN - Document - PDFSEARCH.IO

First Page	Meta Content
	A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1 Add to Reading List Document Date: 2013-01-22 13:03:06 Open Document File Size: 651,81 KB Share Result on Facebook

A Specification Logic for Termination and Non-Termination Reasoning TON-CHANH LE JO IN T WORK WITH C. GHERGHINA , A . HOBOR A N D W -N . CHIN 1Add to Reading List