Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '"Ferrara"', query time: 0.58s Refine Results
1
Verification, model checking, and abstract interpretation : 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Heidelberg : Springer, 2014

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
2
Tools and algorithms for the construction and analysis of systems : 19th International Conference, TACAS 2013, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Berlin ; New York : Springer, 2013

This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search — Save Search