My Account Log in

1 option

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

IEEE Xplore (IEEE/IET Electronic Library - IEL) Available online

View online
Format:
Book
Conference/Event
Author/Creator:
IEEE International Conference on Software Engineering and Formal Methods, Corporate Author.
Contributor:
Hinchey, Michael G. (Michael Gerard), 1969- Contributor.
Margaria-Steffen, Tiziana, 1964- Contributor.
IEEE Computer Society, Content Provider.
Conference Name:
International Conference on Software Engineering and Formal Methods (5th : 2007 : London, England)
International Conference on Software Engineering and Formal Methods.
Language:
English
Subjects (All):
Software engineering--Congresses.
Software engineering.
Formal methods (Computer science)--Congresses.
Formal methods (Computer science).
Place of Publication:
[Place of publication not identified] IEEE Computer Society 2007
Language Note:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
ISBN:
9781509082476
1509082476

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account