TraitCbC

MaRDI QIDQ5975047swMATHFDO

Official website https://arxiv.org/abs/2204.05644

Described by source

• Traits: correctness-by-construction for free

Cited in

(4)

• ArcAngel
• AutoProof
• FeatherTrait
• TraitRecordJ

This page was built for software: TraitCbC