The PROSPER Toolkit
No abstract available.
DOI 10.1007/3-540-46419-0_7
Related papers
- The SLAM Toolkit CAV 2001
- Symbolic Automata: The Toolkit TACAS 2012
- Banshee: A Scalable Constraint-Based Analysis Toolkit SAS 2005
- GameTime: A Toolkit for Timing Analysis of Software TACAS 2011
- An Easy-to-Use Toolkit for Efficient Java Bytecode Translators GPCE 2003
- GDSL: A Universal Toolkit for Giving Semantics to Machine Language APLAS 2013
- A Complete Transformational Toolkit for Compilers ESOP 1996
- GROOP: An Object-Oriented Toolkit for Animated 3D Graphics OOPSLA 1993