The affordable application of formal methods to software engineering
ACM SIGAda Ada Letters
Proceedings of the 2005 annual ACM SIGAda international conference on Ada The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies - SigAda ’05