Formal Methods and Software Engineering: 4th International ...
Preview
156 Jin Song Dong, Jing Sun, Hai Wang Hardware/Software Partitioning in Verilog ............................ 168 Shengchao Qin, Jifeng He, Zongyan Qiu, Naixiao Zhang A Formal Methodology to Specify E-commerce Systems ................. 180 Adriano ...