Login / Signup
Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).
Uwe Glässer
Stefan Hallerstede
Michael Leuschel
Elvinia Riccobene
Published in:
Dagstuhl Reports (2013)
Keyphrases
</>
software tools
analysis tool
case study
statistical analysis
software developers
software environment
databases
data analysis
image analysis
end users
computer systems
life cycle
design patterns
software design
formal methods
design concepts