TY - BOOK AU - V.S. Alagar, K. Periyasamy TI - Specification of Software Systems SN - 978-0-85729-277-3 PY - 2011/// CY - Germany PB - Springer KW - Computer Science KW - Specification of Software Systems UR - http://link.springer.com/openurl?genre=book&isbn=978-0-85729-276-6 ER -