中文

English Français العربية ไทย 한국어 中文日本語

EntityQ4117718· pop 6· linked from 228 articles

程序合成

Sign in to save

task to construct a program that provably satisfies a given high-level formal specification

Available in 6 languages

via Wikidata sitelinks · CC0