Marina Reich

Publikationen

Liste als BibTeX-Datei exportieren

• August 2020 Requirements-based Code Model Checking Ulrich Schöpp , Andreas Schweiger , Marina Reich , Tatiana Chuprina , Levi Lúcio und Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), Seiten 21–27, August 2020. IEEE. Details DOI BIB
• 2019 Towards Computer-Aided Software Requirements Process Marina Reich , Tatiana Chuprina und Vivek Nigam In Proceedings of the Workshops of the Software Engineering Conference 2019, Stuttgart, Germany, February 19, 2019., Seiten 75–78, 2019. IEEE. Details BIB