Cover von Formal Methods opens in new tab

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6 - 10, 2023, Proceedings
Search for this author
Year: 2023
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : Formal Methods; 14000
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 14000 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Symposium on Formal Methods <25, 2023, Lübeck>

Details

Search for this author
Year: 2023
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-031-27480-0
ISBN (2nd): 3-031-27480-6
Description: 656 S.
Series: Lecture notes in computer science : Formal Methods; 14000
Participating parties: Search for this character Chechik, Marsha; Katoen, Joost-Pieter; Leucker, Martin
Media group: MONOGRAPHIE