IEEE - Institute of Electrical and Electronics Engineers, Inc. - Making formal methods work

Third IEEE International Conference on Software Engineering and Formal Methods

Author(s): A. Hall
Sponsor(s): IEEE Comput. Soc
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Koblenz, Germany
Conference Date: 7 September 2005
ISBN (Paper): 0-7695-2435-4
DOI: 10.1109/SEFM.2005.27
Regular:

As we have got better at programming, we have come to recognize that the real problems of software development cannot be solved by thinking about program code. We need to address the problems of... View More

Advertisement