TraitCbC

swMATH44835MaRDI QIDQ5975047FDOQ5975047

Author name not available (Why is that?)

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

Described by source

• Traits: correctness-by-construction for free

Cited In (3)

• FeatherTrait
• TraitRecordJ
• AutoProof

This page was built for software: TraitCbC