A coverification framwork
By: Edelweis Helena Ache Garcez
Contributors: Universität Tübingen
Published: 1999
Language: eng
Number of pages: 179
Notes: Thesis (doctoral)--Eberhard-Karls-Universität zu Tübingen, 1999.