Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
Latest Publications

TOTAL DOCUMENTS

47
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By IEEE

0769528848, 9780769528847
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Model-driven architecture for cancer research

2007 ◽  
Author(s):  
Radu Calinescu ◽  
Steve Harris ◽  
Jeremy Gibbons ◽  
Jim Davies ◽  
Igor Toujilov ◽  
...  
Keyword(s):  
Cancer Research ◽  
Model Driven Architecture ◽  
Model Driven

scholarly journals Proving Termination by Divergence.

2007 ◽  
Author(s):  
Domagoj Babic ◽  
Alan J. Hu ◽  
Zvonimir Rakamaric ◽  
Byron Cook
Load More ...
Sign in / Sign up

Export Citation Format

Share Document