Refinement
Subtitle: Semantics, Languages and Applications
Publisher: Springer
Published: Jan 25, 2019
Format: paperback
Number of pages: 269
ISBN-13: 9783030064976
Notes: Source title: Refinement: Semantics, Languages and Applications