MoVES
Refinement and Synthesis (WP5)
WP5 Intranet
Meetings
WP5-6-7 meeting minutes
wp5/index.txt · Last modified: 2008/03/26 21:56 by moves
Home
About us
Members
Research Roadmap
Programming Languages
Modelling Languages and Restructuring
Software Composition and Decomposition
Consistency Checking and Coevolution
Refinement and Synthesis
Verification Methods and Tools
Incremental Design and Verification
Doctoral School
Publications
Presentations
Events
Intranet
Ex-Post Evaluation
Index
Recent changes
Login