h1

h2

h3

h4

h5
h6
http://join2-wiki.gsi.de/foswiki/pub/Main/Artwork/join2_logo100x88.png

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023 : proceedings

; ;

VerantwortlichkeitsangabeMarsha Chechik, Joost-Pieter Katoen, Martin Leucker editors

Konferenz/Event:25. International Symposium on Formal Methods , Lübeck , Germany , FM 2023 , 2023-03-06 - 2023-03-10

ImpressumCham, Switzerland : Springer

Umfangxvi, 659 Seiten : Diagramme

ISBN978-3-031-27480-0, 978-3-031-27481-7, 978-3-031-27482-4

ReiheLecture notes in computer science ; 14000

Online
DOI: 10.1007/978-3-031-27481-7


Einrichtungen

  1. Lehrstuhl für Softwaremodellierung und Verifikation (Informatik 2) (121310)
  2. Profilbereich Information & Communication Technology (ICT) (080017)
  3. Fachgruppe Informatik (120000)

Projekte

  1. GRK 2236 - GRK 2236: Unsicherheit und Randomisierung in Algorithmen, Verifikation und Logik. (282652900) (282652900)


Dokumenttyp
Proceedings/Book

Format
online, print

Sprache
English

Interne Identnummern
RWTH-2024-07243
Datensatz-ID: 990325

Beteiligte Länder
Canada, Germany

 GO

NationallizenzNationallizenz ; SCOPUS
QR Code for this record

The record appears in these collections:
Dokumenttypen > Bücher > Proceedings
Dokumenttypen > Bücher > Bücher
Fakultät für Mathematik, Informatik und Naturwissenschaften (Fak.1) > Fachgruppe Informatik
Zentrale und weitere Einrichtungen
Öffentliche Einträge
Publikationsdatenbank
120000
121310
080017
 Datensatz erzeugt am 2024-08-05, letzte Änderung am 2024-12-03
Ähnliche Datensätze



Dieses Dokument bewerten:

Rate this document:
1
2
3
4
5
 
(Bisher nicht rezensiert)