Whirly3 protein, Arabidopsis

Known as: AtWhy3 protein, Arabidopsis, Why3 protein, Arabidopsis

National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

Unstructured (low-level) programs tend to be challenging to prove correct, since the control ow is arbitrary complex and there…