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:

Available Online