Formal软件工程InternationalEngineering
ProcedureMatrimonialCanonical案件
形式化方法分布式Distributed基于
形式化方法软件测试InternationalApproaches
医药图书实验性ExperimentalMyopathies
InternationalArgumentation论证Applications
JavaDevelopment软件开发VDM
ApplicationsVerificationLeveragingValidation
形式化VIIIDescriptionTechniques
形式化DescriptionTechniquesVII
建模International定时Conference
InternationalTechniquesCriticalWorkshop
2018International语法Conference
ComponentsMethodsObjects海外
代数和自动机语法Automata
VerificationTechniquesScalable扩展
2005SpecificationInternationalDevelopment
分布式Distributed对象基于
分布式DistributedTechniquesComponents
OracleEfficiencyDatabasesPractical
InternationalIndustrialCriticalWorkshop
SpecificationDescriptionTechniquesVerificati
认识论EpistemologySourcebookReadings
形式化ProceedingsCADAdvances
中商原版现货形式
图书馆员教育工作者ApplicationsLibrarians
科隆教学方法研讨Symposium
形式化EngineeringDevelopmentIndustrial
形式化方法演算实时Duration
形式化建模ElectronicModelling
形式化VerificationSatSolutions
波德莱尔福楼拜RevolutionBaudelaire
形式化IntroductionVerificationHardware
形式化方法分布式DistributedProcessing
CombinatoricsCooperationLanguages形式
Verification电路Circuits验证
形式化Forte分布式2001
SpecificationInternationalConferenceZum
