Context-aware counter abstraction

13 years 9 months ago

aware counter abstraction G

Gérard Basler, Michele Mazzucchi, Thomas Wa

Boolean Programs | FMSD 2010 | Local State | Multimedia | State Spaces |

claim paper

Added	02 Mar 2011
Updated	02 Mar 2011
Type	Journal
Year	2010
Where	FMSD
Authors	Gérard Basler, Michele Mazzucchi, Thomas Wahl, Daniel Kroening

Comments (0)