2007
I
SoLA
W
orkshop
O
n
L
everaging
A
pplications of
F
ormal
M
ethods,
V
erification and
V
alidation
Special Workshop Theme: Formal Methods in Avionics, Space and Transport
Poitiers, France, December 12-14 2007