2025 IEEE/ACM 13th International Conference on Formal Methods in Software Engineering (FormaliSE) /

Gespeichert in:
Körperschaft:
Institute of Electrical and Electronics Engineers
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Piscataway, NJ : IEEE Computer Society, 2025.
Umfang:
1 online resource
Anmerkungen:
Includes index.
ISBN:
979-83-315-3794-4
Schlagworte:
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Bezugswerke:
Links: