Stardust

swMATH20015MaRDI QIDQ31838FDOQ31838

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1292602

Cited In (6)

• Set constraints, pattern match analysis, and SMT
• Banshee
• TreatJS
• Forsythe
• LiquidHaskell
• Extensible Datasort Refinements

This page was built for software: Stardust