Adapting Proofs-as-Programs Adapting Proofs-as-Programs
٢٠٠٧
Component-Based Software Engineering Component-Based Software Engineering
٢٠٠٩