Treffer: MiniZinc for Formal Methods
Title:
MiniZinc for Formal Methods
Authors:
Source:
2023 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2023. :1-1 Oct, 2023
Relation:
2023 Formal Methods in Computer-Aided Design (FMCAD)
Database:
IEEE Xplore Digital Library