Search Results

This book constitutes the refereed proceedings of the 16th International Conference on Integrated Formal Methods, IFM 2019, held in Lugano, Switzerland, in November 2020. The 24 full papers and 2 short papers were carefully reviewed and selected from 63 submissions. The papers cover a broad spect... More

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and... More

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verifica... More

The business world is at an important crossroads. The age of the stakeholder is rapidly superseding that of the shareholder as climate change and political and societal shifts upend years of seeming prosperity. To move past this agitated age, business and society must learn to lead sustainably by pu... More

Each year a number of brave men and women will sit down and tell their parents that they are gay. Few parents are accepting from the start and many feel perplexed. Here the parents talk about how they dealt with the many emotions they experienced - anger, embarrassment, guilt and confusion.... More

When Boone County was officially founded in 1799, a local population was already growing by the day. The Ohio River offered settlers access to this new frontier west of the Alleghenies, and soon many vibrant communities were established along the banks of the Ohio. Today, once thriving towns like No... More

Edited by world-renowned animal scientist Dr Temple Grandin, this practical book integrates scientific research and industry literature on cattle, pigs, poultry, sheep, goats, deer, and horses, in both the developed and developing world, to provide a practical guide to humane handling and minimizing... More

Substance misuse and its pervasive problems is a constant challenge for social work, health and related professionals today. With heightened political and policy emphasis on all aspects of substance misuse, it is paramount that professionals remain up-to-date on current issues and their responsibil... More

Interest in the use of digital technology in art therapy has grown significantly in recent years. This book provides an authoritative overview of the applications of digital art therapy with different client groups and considers the implications for practice. Alongside Cathy Malchiodi, the contrib... More

Canadians are deeply worried about wait times for health care. Entrepreneurial doctors and private clinics are bringing Charter challenges to existing laws restrictive of a two-tier system. They argue that Canada is an outlier among developed countries in limiting options to jump the queue.  This b... More

Things have changed. The Truth has not. The 1950's are gone forever. The days of the Sunday school attendance award and the much-loved Sunday school picnic have faded into oblivion. Yet some youth ministries still operate as if today's kids are living in a vacuum, unaffected by the changing moral... More

Things have changed. The Truth has not. The 1950's are gone forever. The days of the Sunday school attendance award and the much-loved Sunday school picnic have faded into oblivion. Yet some youth ministries still operate as if today's kids are living in a vacuum, unaffected by the changing moral... More