Software checking with the Auditor's Aid | IEEE Conference Publication | IEEE Xplore