Automatic methods for the refinement of system models : from the specification to the implementation /

Bibliographic Details
Format: Book
Published: c2017.
Online Access:Ver documento en línea
Description
ISBN:9783319414805