Besancon 2008, 13:30: Communication and dissemination
Software engineering and standardisation section (TEC-EME) 1 Automatic test case generation from a formal model LTG technology evaluation based on a B.
Besancon08 Wp3 Blog
B08 139 081012 Diapo Masselot En
Peatlands : carbon sinks