Formal Engineering for Industrial Software Development

Name: Formal Engineering for Industrial Software Development
Author: Shaoying Liu
ISBN: 9783540206026