Author

Dana Fisman

2 books found

Cover of Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Dana Fisman, Grigore Rosu · First published 2022

Cover of Runtime Verification

Runtime Verification

Lu Feng, Dana Fisman · First published 2021