A Component-Based Approach to Verification and Validation of Formal Software Models.

Dejan Desovski, Bojan Cukic

Browse the full ICSE paper archive.