Limit search to available items
Book Cover
E-journal
Author International Conference on Software Engineering and Formal Methods

Title Proceedings / International Conference on Software Engineering and Formal Methods
Published Los Alamitos, Calif. : IEEE Computer Society, [2003-]
©2003-
Began with 1st (Sept. 22-27, 2003)
Online access available from:
IEEE Xplore    01 Jan. 2003-
View Resource Record  

Copies

Description Online resource
Notes First issue; title from PDF of title page (IEEExplore, viewed September 30, 2008)
Subject Software engineering -- Congresses
Formal methods (Computer science) -- Congresses
Form Electronic journal
Author IEEE Computer Society
LC no. 2005262224 2008242332
ISSN 2160-7656
1551-0255
ABBREV TI Proc. (Int. Conf. Softw. Engineering Formal Meth. Online)
OTHER TI Proceedings (International Conference on Software Engineering and Formal Methods. Online)
Other Titles International Conference on Software Engineering and Formal Methods proceedings
Also called: SEFM
Proceedings of the ... International Conference on Software Engineering and Formal Methods
Title on IEEExplore conference web page: Software Engineering and Formal Methods (SEFM), International Conference on
Software Engineering and Formal Methods proceedings