Automatic methods for the refinement of system models : from the specification to the implementation /
Format: | Book |
---|---|
Published: |
c2017.
|
Online Access: | Ver documento en línea |
ISBN: | 9783319414805 |
---|
Format: | Book |
---|---|
Published: |
c2017.
|
Online Access: | Ver documento en línea |
ISBN: | 9783319414805 |
---|