中文

English Deutsch Español Nederlands Русский 한국어 中文日本語

EntityQ291929· pop 8· linked from 57 articles

最弱初始條件

Sign in to save

reformulation of Floyd-Hoare logic

Wikidata facts

Subclass of: semantics

Sources (3)

via Wikidata · CC0

Available in 8 languages

via Wikidata sitelinks · CC0