ISR
Titanium: Efficient Analysis of Evolving Alloy Specifications
| Title | Titanium: Efficient Analysis of Evolving Alloy Specifications |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Bagheri, H., and S. Malek |
| Conference Name | 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016) |
| Pagination | 27-38 |
| Date Published | Nov 13-18 |
| Publisher | ACM |
| Conference Location | Seattle, WA |
| DOI |