Proving the correctness of algebraic implementations by the ISAR system

Sprache
Englisch
Identifier
123955995X

Beteiligte Personen und Organisationen
Bauer, Bernhard
Hennicker, Rolf

DOI
10.1007/bfb0013164
URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:55 MEZ

Beteiligte

Ähnliche Objekte (12)