Automating Event-B invariant proofs by rippling and proof patching

Katalog der Deutschen Nationalbibliothek

Musikarchiv

Buchmuseum

Expertensuche ?

Noch nicht die passende Literatur gefunden? → Book a Librarian

Am Dienstag, den 11.06.2024 ist die Deutsche Nationalbibliothek in Frankfurt am Main wegen eines Betriebsausflugs geschlossen.

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/1177336677
Titel	Automating Event-B invariant proofs by rippling and proof patching / by Yuhui Lin, Alan Bundy, Gudmund Grov, Ewen Maclean
Person(en)	Lin, Yuhui (Verfasser) Bundy, Alan (Verfasser) Grov, Gudmund (Verfasser) Maclean, Ewen (Verfasser)
Organisation(en)	SpringerLink (Online service) (Sonstige)
Umfang/Format	Online-Ressource : online resource.
Persistent Identifier	URN: urn:nbn:de:101:1-2019020722304117570513 DOI: 10.1007/s00165-018-00476-7
URL	https://doi.org/10.1007/s00165-018-00476-7 (Open Access)
Zeitliche Einordnung	Erscheinungsdatum: 2018
DDC-Notation	005.27 (maschinell ermittelte DDC-Kurznotation)
Sprache(n)	Englisch (eng)
Beziehungen	Enthalten in: Formal aspects of computing (2.1.2019: 1-35)
Sachgruppe(n)	004 Informatik

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Korrekturanfrage