This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Confe...
This book contains extended and revised versions of the best papers that have been presented duri...
Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem...