The design and implementation of a specification language type checker
Contributors: Berzins, Valdis Andris
Publisher: Naval Postgraduate School; Available from the National Technical Information Service
Published: 1989
Place of publication: Monterey, Calif; Springfield, Va
Language: eng
Number of pages: 209
Notes: Thesis advisor, Valdis Berzins.

ADA213026.

Thesis (M.S. in Computer Sci.) Naval Postgraduate School, June 1989.

Bibliography: p. 205-206.