Formal analysis of high-performance stabilized active-input current mirror | IEEE Conference Publication | IEEE Xplore