Sheaves and geometric logic and applications to the modular verification of complex systems
CoRR. S. 1 - 30
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.0810.2877
| Geprüft | Bibliothek |
CoRR. S. 1 - 30
Publikationstyp: Preprint (noch nicht publizierte Dokumente)
Sprache: Englisch
Doi/URN: 10.48550/arXiv.0810.2877
| Geprüft | Bibliothek |
