Record:   Prev Next
Author FMICS (10th : 2005 : Lisbon, Portugal)
Title FMICS'05 : proceedings of the tenth international workshop on formal methods for industrial critical systems, September 5-6, 2005, Lisbon, Portugal / Tiziana Margaria & Mieke Massink (eds.) ; sponsored by ACM SIGSOFT
Imprint New York : ACM, c2005
book jacket
LOCATION CALL # STATUS OPACMSG BARCODE
 Inform. Sci. Proceeding  Proc D2.4 F7235 2005    LIB USE ONLY    30330000201249
Descript viii, 144 p. : ill. ; 28 cm
Note "ACM order number 592055"--T.p. verso
Includes bibliographical references and index
Alt Author Margaria, Tiziana
Massink, Mieke
ACM SIGSOFT
Alt Title Proceedings of the tenth international workshop on formal methods for industrial critical systems
Tenth international workshop on formal methods for indusrial critical systems
Formal methods for industrial critical systems
Record:   Prev Next