formal equivalence,semiformal

【预订】formal equivalence checking and design debugging y
预售synchronousequivalenceformalmethodsforembed科学技术类原版书
aiu equivalence certificate
预订 borel equivalence relations
另外还有sentence equivalence