Frontiers of Combining Systems
This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025. The 21 full papers included in the proceedings were carefully reviewed and selected from 32...
Na minha lista:
| Formato: | Online |
|---|---|
| Idioma: | inglês |
| Publicado em: |
Springer Nature
2025
|
| Assuntos: | |
| Acesso em linha: | ONIX_20251020T130859_9783032041678_30 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|
Registos relacionados: Frontiers of Combining Systems
- Automated Deduction – CADE 28
- Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
- Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
- Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
- Automated Reasoning
- Computer Aided Verification