My Account Log in

1 option

Fourth IEEE International Conference on Software Engineering and Formal Methods : SEFM 2006 : proceedings : 11-15 September 2006, Pune, India

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:
Dang, Hung Van, 1950- Contributor.
Pandya, Paritosh K., Contributor.
International Institute for Software Technology, Content Provider.
Computer Society of India, Content Provider.
Conference Name:
International Conference on Software Engineering and Formal Methods (4th : 2006 : Pune, India)
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 2006
Language Note:
English
Notes:
Bibliographic Level Mode of Issuance: Monograph
ISBN:
9781509092390
1509092390

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.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account