Generalized audit software

#	Item
1	Staying a Step Ahead TECHNOLOGY Internal Audit’s Use of Technology Add to Reading List Source URL: www.aair.ro Language: English - Date: 2015-08-21 04:35:56 Auditing Business economics Accounting Risk Continuous auditing Information technology audit Internal audit Audit Chief audit executive Computer-aided audit tools Institute of Internal Auditors Generalized audit software
2	AURA: A Programming Language for Authorization and Audit Limin Jia Jeffrey A. Vaughan Karl Mazurak Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Computing Dependently typed programming Logic in computer science Functional programming Lambda calculus Monad ATS Calculus of constructions Generalized algebraic data type Software engineering Programming language theory Type theory