Loading...
conference paper not in proceedings
Scala to the Power of Z3: Integrating SMT and Programming
2011
Type
conference paper not in proceedings
Authors
Publication date
2011
Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name |
Available on Infoscience
May 25, 2011
Use this identifier to reference this record