Record link: 
http://hdl.handle.net/20.500.12708/187849
-
Title: 
Rigorous Software Engineering
en
Citation: 
Christaki, M. (2023, February 2). Rigorous Software Engineering [Presentation]. Automated Reasoning Symposium Technical Talk, United States of America (the). http://hdl.handle.net/20.500.12708/187849
-
Publication Type: 
Presentation - Presentation
en
 
Vortrag - Presentation
de
Language: 
English
-
Authors: 
Christaki, Maria 
-
Organisational Unit: 
E194-01 - Forschungsbereich Software Engineering 
E194 - Institut für Information Systems Engineering 
-
Date (published): 
2-Feb-2023
-
Event name: 
Automated Reasoning Symposium Technical Talk 
en
Event date: 
2-Feb-2023
-
Event place: 
United States of America (the)
-
Keywords: 
rigorous software engineering
en
Research Areas: 
Information Systems Engineering: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Presentation

Show full item record

Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.

Page view(s)

7
checked on Aug 17, 2023

Download(s)

1
checked on Aug 17, 2023

Google ScholarTM

Check