Tools and algorithms for the construction and analysis of systems. 31st international conference, TACAS 2025, held as part of the international joint conferences on theory and practice of software, ETAPS 2025, Hamilton, ON, Canada, May 3--8, 2025. Proceedings. Part I (Q6946231)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8076863
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tools and algorithms for the construction and analysis of systems. 31st international conference, TACAS 2025, held as part of the international joint conferences on theory and practice of software, ETAPS 2025, Hamilton, ON, Canada, May 3--8, 2025. Proceedings. Part I |
scientific article; zbMATH DE number 8076863 |
Statements
Tools and algorithms for the construction and analysis of systems. 31st international conference, TACAS 2025, held as part of the international joint conferences on theory and practice of software, ETAPS 2025, Hamilton, ON, Canada, May 3--8, 2025. Proceedings. Part I (English)
0 references
6 August 2025
0 references
