5 public-domain matches

Design And Computation

Cover of Shape Computation

Shape Computation

Unknown author

Cover of Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

Unknown author

Cover of Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Unknown author

Cover of Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

Unknown author

Cover of Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025

Unknown author