Login / Signup
QuickSpec: a lightweight theory exploration tool for programmers (system demonstration).
Maximilian Algehed
Koen Claessen
Moa Johansson
Nicholas Smallbone
Published in:
Haskell (2017)
Keyphrases
</>
lightweight
visualization tool
theoretical framework
handheld devices
development environments
communication infrastructure
wireless sensor networks
source code
efficient implementation
information visualization