conference paper not in proceedings
Scala to the Power of Z3: Integrating SMT and Programming
2011
Type
conference paper not in proceedings
Author(s)
Date Issued
2011
Editorial or Peer reviewed
REVIEWED
Written at
EPFL
EPFL units
| Event name |
Available on Infoscience
May 25, 2011
Use this identifier to reference this record