Mechanical Verification of Invariant Properties of DisCo Specifications

Tässä tietueessa ei ole kokotekstiä saatavilla Treposta, ainoastaan metadata.

Kellomäki, P.

Tampere University of Technology

1998

Tietotekniikan osasto - Department of Information Technology

This publication is copyrighted. You may download, display and print it for Your own personal use. Commercial use is prohibited.