Franklin

SEFM 2007 : Fifth IEEE International Conference on Software Engineering and Formal Methods : proceedings : 12-14 September, 2007, London, England

Author/Creator:
IEEE International Conference on Software Engineering and Formal Methods Corporate Author
Publication:
[Place of publication not identified] IEEE Computer Society 2007
Format/Description:
Conference/Event
Book
Conference Name:
International Conference on Software Engineering and Formal Methods
Status/Location:
Loading...

Options
Location Notes Your Loan Policy

Details

Subjects:
Software engineering -- Congresses.
Formal methods (Computer science) -- Congresses.
Language:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
Contributor:
Hinchey, Michael G. (Michael Gerard), 1969- Contributor
Margaria-Steffen, Tiziana, 1964- Contributor
IEEE Computer Society Content Provider
ISBN:
1-5090-8247-6