Sortiert nach
Proceedings of the 2012 ACM conference on Computer and communications security, 2012, p.229-240
2012
Link zum Volltext
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.1329-1341
2014
Link zum Volltext
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.615-627
2020
- Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.609-620
2017
- Link zum Volltext
Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014, p.1105-1116
2014
Link zum Volltext
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.416-426
2017
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1161-1173
2021
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.397-409
2021
- Link zum Volltext
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.227-239
2021
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.661-673
2021
- Link zum Volltext
2008 ACM/IEEE 30th International Conference on Software Engineering, 2008, Vol.2008 (24), p.171-180
2008
- Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155
2016
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.300-311
2021
- Link zum Volltext
2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE), 2017, p.597-608
2017
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.251-262
2021
- Link zum Volltext
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE), 2018, p.549-559
2018
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.423-435
2021
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1123-1134
2021
- Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.559-570
2016
- Link zum Volltext
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2023, p.21-25
2023
Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1135-1147
2021
- Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.643-654
2016
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.359-371
2021
- Link zum Volltext
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.674-685
2021
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Engineering
- Computing Methodologies -- Modeling And Simulation -- Model Development And Analysis
- Software And Its Engineering
- Theory Of Computation -- Semantics And Reasoning -- Program Reasoning -- Program Verification
- Engineering, Electrical & Electronic
- General And Reference -- Cross-Computing Tools And Techniques -- Verification
- Software And Its Engineering -- Software Creation And Management
- Verification
- Validation
- General And Reference -- Cross-Computing Tools And Techniques -- Performance
- Hardware -- Hardware Validation -- Functional Verification -- Simulation And Emulation
- Software Engineering
- Computer Science, Hardware & Architecture
- Computing Methodologies -- Modeling And Simulation
- Software
Kollektion
- ACM Digital Library
- IEL
- Ingenta
- EZB Free E-Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library Journals Frontfile Complete
- SpringerLink Series
- IngentaConnect Journals
- SpringerLink_现刊
- Wiley Online Library Full Collection 2018
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- MEDLINE
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid
- Business Source Ultimate
- ScienceDirect eBooks
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis Current Content Access
Zeitschrift / Serie
- Journal Of Geophysical Research
- Sigplan Notices
- Communications Of The Acm
- Journal Of Geophysical Research: Atmospheres
- Journal Of Geophysical Research - Atmospheres
- Journal Of Geophysical Research. Atmospheres
- Proceedings Of Acm On Programming Languages
- Ifac Proceedings Volumes
- Journal Of Geophysical Research Atmospheres
- Sigbed Review
Neu hinzugefügt