权威例句
Evaluating the effectiveness of slicing for model reduction of concurrent object-oriented programsBuilding Your Own Software Model Checker Using the Bogor Extensible Model Checking FrameworkBuilding Your Own Software Model Checker Using the Bogor Extensible Model Checking FrameworkBuilding Your Own Software Model Checker Using the Bogor Extensible Model Checking FrameworkEvaluating the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented ProgramsCALM and Cadena: metamodeling for component-based product-line developmentEncounters of the Third Kind.Lines of H2 in extreme-ultraviolet solar spectraComponent-Based Product-Line DevelopmentNail holding hammer head