Formal Methods for Software Engineering
Subtitle: Languages, Methods, Application Domains
Publisher: Springer
Published: Sep 22, 2020
Format: hardcover
Number of pages: 450
ISBN-13: 9783030387990
Notes: Source title: Formal Methods for Software Engineering: Languages, Methods, Application Domains