num_pages: 566
description: 1979 Copenhagen Winter School, January 22-February 2, 1979 : Proceedings (Lecture Notes in Computer Science)
language: English
title: Abstract Software Specifications
titlecomplete: Abstract Software Specifications
publisher: Springer Verlag