Leveraging applications of formal methods, verification and validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Saved in:
Corporate Author: ISoLA 2008 Chalkidikē, Greece)
Other Authors: Margaria, Tiziana.
Steffen, Bernhard.
Format: Book Electronic
Published:Berlin : Springer, 2008.
Series:Communications in computer and information science ; no. 17.
Online Access:SpringerLink E-Resource Access
Tags: Add Tag
No Tags, Be the first to tag this record!

Western Illinois University

Location: Electronic Resources

Call Number: QA76.9.F67 L48 2008
Notes: WIU affliated users only.
Copy 1
Online Access:SpringerLink E-Resource Access