ISR
Titanium: Efficient Analysis of Evolving Alloy Specifications
| Title | Titanium: Efficient Analysis of Evolving Alloy Specifications |
| Publication Type | Report |
| Year of Publication | 2015 |
| Authors | Bagheri, H., and S. Malek |
| Date Published | September |
| Institution | UCI Institute for Software Research |
| Type | Technical |
| Report Number | UCI-ISR-15-1 |
| URL | http://isr.uci.edu/sites/isr.uci.edu/files/techreports/UCI-ISR-15-1.pdf |