Formal methods and software engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings /

Bibliographic Details
Corporate Authors: International Conference on Formal Engineering Methods Macau, China, ProQuest (Firm)
Other Authors: He, Jifeng, 1943-, Liu, Zhiming, 1961-
Format: Electronic Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer, c2006
Series:LNCS sublibrary Programming and software engineering.
Lecture notes in computer science 4260
Subjects:

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE