Introduction to Automated Formal Apps

This session will introduce you to Formal Apps; what they are, how they are structured and what is available today.