Suggested Topics within your search.
Suggested Topics within your search.
1
Berlin : Springer, 2010
Table of Contents:
“... by abstract interpretation / Pietro Ferrara -- Reasoning about distributed systems. On-the-fly trace...”This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding
Book
2
Berlin ; New York : Springer, 2012
This item is not available through EZBorrow. Please contact your institution’s interlibrary loan office for further assistance.
Conference Proceeding
Book