related documents Initial Work in the Design and Development of Verifiable Workflow Management Systems and Some Applications to Health Care Conferences
