Special issue: harnessing theories for tool support in software : [... International Workshop on Harnessing Theories for Tool Support in Software (TTSS)]

Veröffentlicht 2013

Temporal assertions for sequential and concurrent programs

von Stolz, Volker
Veröffentlicht 2007

Die Namibia-Politik in der Meinung der deutschen Öffentlichkeit : Bericht über eine Emnid-Untersuchung ; [Namibia-Umfrage]

von Stoltz, Volker
Veröffentlicht 1986

Aspekte für die Auswahl einer PR-Agentur

von Stoltz, Volker
Veröffentlicht in Öffentlichkeitsarbeit

The policy of the German Free Democratic Party, 1965

von Stoltz, Volker
Veröffentlicht in European political institutions (1966)

Formal methods: foundations and applications : 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020 : proceedings

Veröffentlicht 2020

Advances in service-oriented and cloud computing : workshops of ESOCC 2017, Oslo, Norway, September 27-29, 2017 : revised selected papers

Veröffentlicht 2018

Runtime verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022

Veröffentlicht 2022

Refactoring and Active Object Languages

von Stolz, Volker
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

A Notion of Equivalence for Refactorings with Abstract Execution

von Abusdal, Ole Jørgen
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 2: Software engineering (2022)

MC/DC Test Cases Generation Based on BDDs

von Ahishakiye, Faustin
Veröffentlicht in SETTA (7. : 2021 : Peking) Dependable software engineering (2021)

Theoretical aspects of computing - ICTAC 2020 : 17th international colloquium, Macau, China, November 30 - December 4, 2020 : proceedings

Veröffentlicht 2020

Coverage Analysis of Net Inscriptions in Coloured Petri Net Models

von Ahishakiye, Faustin
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)

Die Hochschule im geteilten Deutschland : 10. Berliner Tagung

Veröffentlicht 1963