Abstract Transducers for Software Analysis and Verification

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Passau, Universität Passau, Dissertation, 2019

Schlagwort
Transducers

Ereignis
Veröffentlichung
(wo)
Passau
(wer)
Universität Passau
(wann)
2020
Urheber
Stahlbauer, Andreas
Beteiligte Personen und Organisationen
Apel, Sven
Visser, Willem

URN
urn:nbn:de:bvb:739-opus4-8468
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
25.03.2025, 13:45 MEZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Beteiligte

  • Stahlbauer, Andreas
  • Apel, Sven
  • Visser, Willem
  • Universität Passau

Entstanden

  • 2020

Ähnliche Objekte (12)