International Symposium on Fundamentals of Software Engineering
Publication year: 2007
ISBN: 978-3-540-75698-9
Internet Resource: Please Login to download book
The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17–19, 2007. Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering.
Subject: Computer Science, CASE, formal method, model checking, software architecture, software engineering, theorem proving, validation, verification
