芝加哥核查9780226290768预订
词序Toposa多重Multiple
Crowbar入住Checking登记
芝加哥核查9780226290935预订
KlutzpressActivitiesCheckingExpress
大音探查大灰狼预售
实核9780593136737预订Checking
9789027225627预订MovementChecking
伪造核查9781032741321Journalist
原版中商酒店业英文
Jefferson9798990900622预订Checking
伪造核查9781032741314Journalist
9780063354067CompetencyQualified预订
Process健壮ConformanceGuarantees
CheckingFactIntegrateDifferent
InterpretationInternationalVerification抽象
InternationalCheckingSoftwareWorkshop
International研讨SymposiumChecking
并行ConcurrentChecking检查
9780792393801预订SymbolicChecking
Luxembourg2024InternationalSymposium
等价Equivalence调试Debugging
InterpretationVerification预订Checking
校验CheckingSoftware模型
InternationalFranciscoCheckingSoftware
InterpretationInternationalVerificationConference
等价FundamentalsEquivalencePrinciples
第十届InternationalCheckingSoftware
Checking简明VerificationAnnotation
9783031150760InternationalSymposium预订
2023International9783031321566Symposium
9786207842780GuidelinesEditorialPractices
2025InternationalProceedingsSymposium