Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings /
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together with 2 short papers were carefully reviewed and selected from 51 submissions. The conference focuses on...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | , |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2024.
|
| Vydání: | 1st ed. 2024. |
| Edice: | Lecture Notes in Computer Science,
14300 |
| Témata: | |
| On-line přístup: | https://doi.org/10.1007/978-3-031-47705-8 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Právě probíhá údržba systému
Právě probíhá údržba knihovního systému.
V současné době nejsou dostupné informace o dostupnosti. Omlouváme se Vám za nepříjemnosti. Neváhejte nás kontaktovat a my se pokusíme zjistit požadované informace jinou cestou: