TraitRecordJ

MaRDI QIDQ5974939swMATHFDO

Official website https://www.sciencedirect.com/science/article/pii/S0167642311001572

Cited in

(2)

• Traits: correctness-by-construction for free
• TraitCbC

This page was built for software: TraitRecordJ