Research Publications
Research Publication

Automated formalization and verification of building code requirements using knowledge graph construction

Smart and Sustainable Built EnvironmentSep 24, 20260 OpenAlex citationsMatched to OpenAlex

DOI: 10.1108/sasbe-03-2026-0231