Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Multi
Integrated Formal Methods : 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
Loading...
Authors:
Herber, Paula
---
Wijs, Anton
ISBN: 9783031477058 9783031477041 9783031477065 Year: 2024 Publisher: Cham Springer Nature, Imprint: Springer
ISBN: 9783031477058 9783031477041 9783031477065 Year: 2024 Publisher: Cham Springer Nature, Imprint: Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
| Listing 1 - 1 of 1 |
Sort by
|