Scientific publications

Authors

Marina Reich

Publications

Export list as BibTeX file

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