Dana Fisman

Dana Fisman

1 books in the database

Books

Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman · 2022

Co-authored books and collections

Books that list Dana Fisman among their authors but not as the lead author: co-written works, collections and compilations.

Runtime VerificationLu Feng

Runtime Verification

Lu Feng · 2021