DocumentCode

2378987

Title

IEEE Formal Methods Planning

Author

Joannou, Paul

Author_Institution

Ontario Hydro

fYear

1997

fDate

1-6 Jun 1997

Firstpage

284

Lastpage

284

Keywords

Computer Society; Conferences; Software engineering; Software standards; Software systems; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Standards Symposium and Forum, 1997. Emerging International Standards. ISESS 97., Third IEEE International

ISSN

1082-3670

Print_ISBN

0-8186-7837-2

Type

conf

DOI

10.1109/SESS.1997.596015

Filename

596015