div class=ts-pagebuttonPage 1button div class=ts-image amp-img class=ts-thumb alt=Page 1: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails1jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 2button div class=ts-image amp-img class=ts-thumb alt=Page 2: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails2jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 3button div class=ts-image amp-img class=ts-thumb alt=Page 3: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails3jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 4button div class=ts-image amp-img class=ts-thumb alt=Page 4: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails4jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 5button div class=ts-image amp-img class=ts-thumb alt=Page 5: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails5jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 6button div class=ts-image amp-img class=ts-thumb alt=Page 6: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails6jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 7button div class=ts-image amp-img class=ts-thumb alt=Page 7: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails7jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 8button div class=ts-image amp-img class=ts-thumb alt=Page 8: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails8jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 9button div class=ts-image amp-img class=ts-thumb alt=Page 9: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails9jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 10button div class=ts-image amp-img class=ts-thumb alt=Page 10: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails10jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 11button div class=ts-image amp-img class=ts-thumb alt=Page 11: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails11jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 12button div class=ts-image amp-img class=ts-thumb alt=Page 12: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails12jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 13button div class=ts-image amp-img class=ts-thumb alt=Page 13: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails13jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 14button div class=ts-image amp-img class=ts-thumb alt=Page 14: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails14jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 15button div class=ts-image amp-img class=ts-thumb alt=Page 15: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails15jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 16button div class=ts-image amp-img class=ts-thumb alt=Page 16: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails16jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 17button div class=ts-image amp-img class=ts-thumb alt=Page 17: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails17jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 18button div class=ts-image amp-img class=ts-thumb alt=Page 18: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails18jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 19button div class=ts-image amp-img class=ts-thumb alt=Page 19: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails19jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 20button div class=ts-image amp-img class=ts-thumb alt=Page 20: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails20jpg width=142 height=106 layout=responsive amp-img divdivdiv class=ts-pagebuttonPage 21button div class=ts-image amp-img class=ts-thumb alt=Page 21: IEEsoftware85 formalism - Chair of Software Engineering src=https:reader033vdocumentsusreader033viewer202205040362700de4974c02147b4c072chtml5thumbnails21jpg width=142 height=106 layout=responsive amp-img divdiv