• S
  • SEFM
  • 2010
  • 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Advanced Search 
2010 8th IEEE International Conference on Software Engineering and Formal Methods
Pisa, Italy
September 13-September 18
ISBN: 978-0-7695-4153-2
Table of Contents
Papers
Preface (PDF)
pp. viii-ix
Author Index (PDF)
pp. 325-326
Usage of this product signifies your acceptance of the Terms of Use.