- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Erschienen in
-
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 52
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Frankfurt am Main
- (wer)
-
Univ.-Bibliothek Frankfurt am Main
- (wann)
-
2013
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hebis:30:3-336073
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:42 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Schmidt-Schauß, Manfred
- Sabel, David
- Niehren, Joachim
- Schwinghammer, Jan
- Univ.-Bibliothek Frankfurt am Main
Entstanden
- 2013
Ähnliche Objekte (12)
Observational calculi and association rules
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Correctness of copy in calculi with letrec, case and constructors
On algebra of program correctness and incorrectness
Models for software verification: Proving program correctness
Correctness of copy in calculi with letrec, case, constructors and por
Automating the diagram method to prove correctness of program transformations
Towards correctness of program transformations through unification and critical pair computation
Observational calculi and association rules
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Correctness of copy in calculi with letrec, case and constructors
On algebra of program correctness and incorrectness
Models for software verification: Proving program correctness
Correctness of copy in calculi with letrec, case, constructors and por
Automating the diagram method to prove correctness of program transformations
Towards correctness of program transformations through unification and critical pair computation
Observational calculi and association rules
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Adequacy of compositional translations for observational semantics
Correctness of copy in calculi with letrec, case and constructors
On algebra of program correctness and incorrectness
Models for software verification: Proving program correctness
Correctness of copy in calculi with letrec, case, constructors and por
Automating the diagram method to prove correctness of program transformations