The process of post-tsunami recovery and reconstruction in Aceh will take considerable time and is not easy. This book is an attempt at providing helpful background information on Acehnese history, po
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more