TitleFormal Specification as High-Level Programming: The ASSL Approach
Publication TypeBook Chapter
Year of Publication2012
AuthorsVassev E, Hinchey M
Book TitlePatterns, Programming and EverythingPatterns, Programming and Everything
Date Published2012
PublisherSpringer
CityLondon
Publication Languageeng
ISBN NumberISBN 978-1-4471-2350-7