Jessie

swMATH22719MaRDI QIDQ34510FDOQ34510

Author name not available (Why is that?)

Official website: http://krakatoa.lri.fr/#jessie

Cited In (6)

• Clang Static Analyzer
• Expressing polymorphic types in a many-sorted language
• SANTE
• JCrasher
• GNATprove
• AstraVer

This page was built for software: Jessie