Automation for exception freedom proofs

18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings. ◽

10.1109/ase.2003.1240334 ◽

2004 ◽

Author(s):

B.J. Ellis ◽

A. Ireland

Download Full-text