Explore
Gemeinschaftliches Wohnen und selbstorganisiertes Bauen
Andrej Holm and Christoph Laimer, editors
Planung und räumliche Wirkungen von sozialen Infrastrukturen
Michael Getzner et al. (editors)
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Alexander Ivrii and Ofer Strichman, editors
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
Ruzica Piskac and Michael Whalen, editors
Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022
Alberto Griggio and Neha Rungta, editors
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023
Alexander Nadel and Kristin Yvonne Rozier, editors
Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024
Nina Narodytska and Philipp Rümmer, editors