代数Specification逻辑Algebra
形式化模块化SpecificationEngineering
SpecificationVerification验证Systems
Specification嵌入式LanguagesAdvances
SpecificationLanguages逻辑规范
SocsSpecificationContributionsLanguages
SpecificationContributionsLanguagesUml
建模SpecificationMethodologiesModeling
产品规格FunctionalitySpecificationVerification
SocsSpecificationApplicationsLanguages
SpecificationVerificationProtocol验证
SpecificationLanguagesFdl规范
SpecificationApplicationsDescriptionLanguages
言和SpecificationMethodologyLanguage
规范言和SpecificationMethodology
ContributionsSpecificationLanguagesSelected
FunctionalitySpecificationVerification几何
Specification嵌入式Embedded经过
SpecificationLanguages海外Logics
SpecificationContributionsLanguagesAdvances
建构OrganizationalSpecificationHypothesis
SpecificationManagement编写Writing
OrganizationalSpecification9781466621602Innovations
英文技术规范预售Organizational
Specification9789814740500Econometric印刷
OrganizationalSpecificationInnovationsDevelopment
SpecificationInstallation机床Purchase
ObjectSpecificationLanguage规范
SpecificationLanguage对象规范
CommunicationSpecificationVerificationProtocol
