Formal Specification as High-Level Programming: The ASSL Approach
You are here
| Title | Formal Specification as High-Level Programming: The ASSL Approach |
| Publication Type | Book Chapter |
| Year of Publication | 2012 |
| Authors | Vassev E, Hinchey M |
| Book Title | Patterns, Programming and EverythingPatterns, Programming and Everything |
| Date Published | 2012 |
| Publisher | Springer |
| City | London |
| Publication Language | eng |
| ISBN Number | ISBN 978-1-4471-2350-7 |
