IEEE - Institute of Electrical and Electronics Engineers, Inc. - Integrating Object-Oriented Design and Deductive Verification of Software

Fourth IEEE International Conference on Software Engineering and Formal Methods

Author(s): B. Beckert ; R. Hahnle ; P.H. Schmitt
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Pune, India
Conference Date: 11 September 2006
Page(s): 60
ISBN (Paper): 0-7695-2678-0
DOI: 10.1109/SEFM.2006.25
Regular:

Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages that are used in practice. The... View More

Advertisement