Mechanised formal reasoning about modular programs
By: Linas Laibinis
Contributors: Åbo akademi (1918- )
Series: TUCS dissertations -- no. 24
Publisher: Painosalama Oy
Published: 2000
Place of publication: Turku, Finland
Language: eng
Number of pages: 176
Notes: Thesis (doctoral)--Åbo Akademi University, 2000.

Bibliogr. : p. 167-176.