Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments

• Authors:

• Natarajan Shankar;Jim Woodcock

• Affiliations:

• -;-

• Venue:
• VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
• Year:
• 2008