Results: 5
Verification of heap manipulating programs with ordered data by extended forest automata.
- Published in:
- Acta Informatica, 2016, v. 53, n. 4, p. 357, doi. 10.1007/s00236-015-0235-0
- By:
- Publication type:
- Article
Guiding Craig interpolation with domain-specific abstractions.
- Published in:
- Acta Informatica, 2016, v. 53, n. 4, p. 387, doi. 10.1007/s00236-015-0236-z
- By:
- Publication type:
- Article
Synthesizing efficient systems in probabilistic environments.
- Published in:
- Acta Informatica, 2016, v. 53, n. 4, p. 425, doi. 10.1007/s00236-015-0237-y
- By:
- Publication type:
- Article
Special issue on Rich Models, EU-COST Action IC0901 Rich-Model Toolkit.
- Published in:
- 2016
- By:
- Publication type:
- Editorial
Symbolic automata for representing big code.
- Published in:
- Acta Informatica, 2016, v. 53, n. 4, p. 327, doi. 10.1007/s00236-015-0234-1
- By:
- Publication type:
- Article