245 followers
Automated Circular Assume-Guarantee Reasoning. - Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon… http://t.co/tE3HxRMkUa
Automated Circular Assume-Guarantee Reasoning. - Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon… http://t.co/tE3HxRMkUa