Publications

Found 1 results
Author Title [ Type(Desc)] Year
Filters: Author is Roman Manevich  [Clear All Filters]
Conference Paper
Alpernas, K., Manevich R., Panda A., Sagiv M., Shenker S. J., Shoham S., et al. (2018).  Abstract Interpretation of Stateful Networks. Proceedings of SAS 2018.