Dana Fisman

No bio available. Add one in Open Library.

Books by Dana Fisman (50 max)

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II

2022

Dana Fisman, Grigore Rosu

+ shelf+ list

Runtime Verification 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings

2021

Lu Feng, Dana Fisman