2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) /

Gespeichert in:
Weitere Titel:
2021 19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Körperschaft:
Institute of Electrical and Electronics Engineers (IEEE)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Piscataway, New Jersey : Institute of Electrical and Electronics Engineers (IEEE), 2021.
Umfang:
1 online resource : illustrations
Schlagworte:
Formal methods (Computer science) > Congresses.
Bezugswerke: