Cover Image

Proceedings /

Bibliographic Details
Corporate Authors: International Conference on Software Engineering and Formal Methods, IEEE Computer Society
Format: Conference Proceeding
Language:English
Published: Los Alamitos, Calif. : IEEE Computer Society, ©2003-
Subjects:
Software engineering > Congresses.
Formal methods (Computer science) > Congresses.
Formal methods (Computer science)
Software engineering.
Electronic journals.
Periodicals.
Conference papers and proceedings.
Online Availability: Check for online availability
Description
Published:Began with 1st (Sept. 22-27, 2003).
Publication Frequency:Annual
ISSN:2160-7656
1551-0255