Design and implementation of a pretty printer for the functional specification language SPEC
Contributors: Berzins, Valdis Andris
Published: 1988
Language: eng
Number of pages: 224
Notes: Thesis advisor, Valdis Berzins.

Available from National Technical Information Service, Springfield, Va.

ADA200967.

Thesis (M.S. in Computer Science) Naval Postgraduate School, June 1988.

Includes bibliographical references.