No. Title Author Year
1 Can Formal Methods Cope with Software-Intensive Systems? (Dagstuhl Seminar 01221) Jähnichen, Stefan et al. 2021
2 Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) Jähnichen, Stephan et al. 2021
Current Page :
Number of result pages: 1
Number of documents: 2

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI