scholarly journals Verification test suite for systems analysis tools

2013 ◽  
Author(s):  
T. Sumner ◽  
R. Hu ◽  
T. H. Fanning
2007 ◽  
Vol 19 (11) ◽  
pp. 1465-1480 ◽  
Author(s):  
Michael Gerndt ◽  
Bernd Mohr ◽  
Jesper Larsson Träff

2011 ◽  
Vol 19 (2-3) ◽  
pp. 145-156 ◽  
Author(s):  
Sofia Ahlroth ◽  
Måns Nilsson ◽  
Göran Finnveden ◽  
Olof Hjelm ◽  
Elisabeth Hochschorner

2001 ◽  
Author(s):  
Robert R Jensen ◽  
Steven A Benson ◽  
Jason D Laumb

2008 ◽  
Author(s):  
James R. Kamm ◽  
Jerry S. Brock ◽  
Scott T. Brandon ◽  
David L. Cotrell ◽  
Bryan Johnson ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document