Specification of Software Systems - Alagar, V.S.; Periyasamy, K.; SpringerLink (Online service) (London : Springer London, 2011)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs