15 lines
325 B
YAML
15 lines
325 B
YAML
- key: Dutertre2014
|
|
author:
|
|
- Dutertre, Bruno
|
|
title: "Yices 2.2"
|
|
booktitle: Computer-Aided Verification
|
|
editor:
|
|
- Biere, Armin
|
|
- Bloem, Roderick
|
|
year: 2014
|
|
volume: 8559
|
|
series: Lecture Notes in Computer Science
|
|
pages: 737-744
|
|
month: July
|
|
publisher: Springer
|
|
doi: 10.1007/978-3-319-08867-9_49 |