2008 Forum on Specification, Verification and Design Languages
Latest Publications


TOTAL DOCUMENTS

57
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By IEEE

9781424422647

Author(s):  
Alessandro Meroni ◽  
Vincenzo Rana ◽  
Marco Domenico Santambrogio ◽  
Francesco Bruschi
Keyword(s):  

Author(s):  
S. Hoelldampf ◽  
D. Zaum ◽  
M. Olbrich ◽  
E. Barke ◽  
I. Neumann ◽  
...  
Keyword(s):  

Author(s):  
Daniel Calegari Garcia ◽  
Maria Victoria Cengarle
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document