- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Challenges of software verification: the past, the present, the future ; volume:26 ; number:4 ; day:30 ; month:8 ; year:2024 ; pages:421-430 ; date:8.2024
International journal on software tools for technology transfer ; 26, Heft 4 (30.8.2024), 421-430, 8.2024
- Creator
-
Ferrara, Pietro
Arceri, Vincenzo
Cortesi, Agostino
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10009-024-00765-y
- URN
-
urn:nbn:de:101:1-2411212144465.876406246773
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:37 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ferrara, Pietro
- Arceri, Vincenzo
- Cortesi, Agostino
- SpringerLink (Online service)
Other Objects (12)
The Present & The Past
The past, present, and future of experimental software engineering
Pidotimod: the past and the present
The Kashubs : past and present
The Moderns : past - present - future
The Commonwealth, past and present
The Mahdi : past and present
The heritage of the past and the present
PEComas: the past, the present and the future
The Rule of the Present, Not the Past
Software verification challenges in the blockchain ecosystem
The Imperial Institute: Past and Present.
The Present & The Past
The past, present, and future of experimental software engineering
Pidotimod: the past and the present
The Kashubs : past and present
The Moderns : past - present - future
The Commonwealth, past and present
The Mahdi : past and present
The heritage of the past and the present
PEComas: the past, the present and the future
The Rule of the Present, Not the Past
Software verification challenges in the blockchain ecosystem
The Imperial Institute: Past and Present.
The Present & The Past
The past, present, and future of experimental software engineering
Pidotimod: the past and the present
The Kashubs : past and present
The Moderns : past - present - future
The Commonwealth, past and present
The Mahdi : past and present
The heritage of the past and the present
PEComas: the past, the present and the future
The Rule of the Present, Not the Past
Software verification challenges in the blockchain ecosystem