Integration of Multiple Formal Matrix Models in Coq : 8th Dependable software engineering: theories, tools, and applications International symposium
In: Lecture notes in computer science 13649:169-186; Jg. 13649 (2022) S. 169-186
Konferenz
Zugriff:
Titel: |
Integration of Multiple Formal Matrix Models in Coq : 8th Dependable software engineering: theories, tools, and applications International symposium
|
---|---|
Autor/in / Beteiligte Person: | Shi, Zheng ; Pu ; Chen, Gang |
Link: | |
Quelle: | Lecture notes in computer science 13649:169-186; Jg. 13649 (2022) S. 169-186 |
Veröffentlichung: | 2022 |
Medientyp: | Konferenz |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|