Verified Software: Theories‚ Tools‚ Experiments
Tony Hoare
Book Title
13th International Conference on Engineering of Complex Computer Systems (ICECCS 2008)‚ March 31 2008 − April 3 2008‚ Belfast‚ Northern Ireland
Pages
3
Publisher
IEEE Computer Society
Year
2008