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:
Document types > Books > Proceedings
Document types > Books > Books
Faculty of Mathematics, Computer Science and Natural Sciences (Fac.1) > Department of Computer Science
Central and Other Institutions
Public records
Publications database
120000
121310
080017
 Record created 2024-08-05, last modified 2024-12-03
Similar records



Rate this document:

Rate this document:
1
2
3
4
5
 
(Not yet reviewed)