FORMAL METHODS AND SOFTWARE ENGINEERING 12TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS ICFEM 2010 SHANGHAI CHINA NOVEMBER 17 19 2010 PROCEEDINGS


 1350 Views    329 Successful Downloads