SecEr

MaRDI QIDQ39886swMATHFDO

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

Source code repository https://github.com/serperu/secer

Cited in

(7)

• TypEr
• CutEr
• erlyberly
• PropEr
• redbug
• Safira
• Erlang code evolution control

This page was built for software: SecEr