research data . Dataset . 2016

SMT-based verification of parameterized systems

Gurfinkel, Arie; Shoham, Sharon; Meshman, Yuri;
  • Published: 01 Jan 1970
  • Publisher: Association for Computing Machinery (ACM)
doi: 10.1145/2950290.2950330
Download from
https://dx.doi.org/10.1145/295...
Dataset . 2016
Provider: Datacite
Association for Computing Machinery (ACM)
Related research
13 research outcomes, page 1 of 2
13 research outcomes, page 1 of 2
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue