Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))

Edición de la obra Specification case studies in RAISE