Formal specifications were first used in the description of program- ming languages because of the central role that languages and their compilers play in causing a machine to perform the computations
This book constitutes the refereed proceedings of the 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and the 3rd IFIP TC 10 International Conference on Biol
