Flexible Correct-by-Construction Programming

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch

Bibliographic citation
In: Logical Methods in Computer Science ; 19 (2023), 2. - ISSN 1860-5974

Keyword
Programmierung

Event
Veröffentlichung
(where)
Ulm
(who)
Universität Ulm
(when)
2023
Creator
Runge, Tobias
Bordis, Tabea
Potanin, Alex
Thüm, Thomas
Schaefer, Ina

DOI
10.18725/OPARU-51193
URN
urn:nbn:de:bsz:289-oparu-51269-1
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:51 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

  • Runge, Tobias
  • Bordis, Tabea
  • Potanin, Alex
  • Thüm, Thomas
  • Schaefer, Ina
  • Universität Ulm

Time of origin

  • 2023

Other Objects (12)