| Period | 7 Sept 2023 |
|---|---|
| Event title | 26th Euromicro Conference on Digital System Design (DSD) and 49th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA): DSD/SEAA 2023 |
| Event type | Conference |
| Location | Durres, AlbaniaShow on map |
| Degree of Recognition | International |
Related content
-
Publications
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
-
Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Research output: Contribution to conference › Poster › peer-review