Formal Methods and Software Engineering: 14th International ...
Preview
198 Fabian Büttner, Marina Egea, Jordi Cabot, and Martin Gogolla Automatic
Generation of Provably Correct Embedded Systems ........ 214 Shang-Wei Lin,
Yang Liu, Pao-Ann Hsiung, Jun Sun, and Jin Song Dong Complementary ...