The Community for Technology Leaders
2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010) (2010)
Pisa
Sept. 13, 2010 to Sept. 18, 2010
ISSN: 1551-0255
ISBN: 978-1-4244-8289-4
TABLE OF CONTENTS

[Front cover] (PDF)

pp. C1

[Title page iii] (PDF)

pp. iii

Table of contents (PDF)

pp. v-vii

Preface (PDF)

pp. viii-ix

list-reviewer (PDF)

pp. xi

Author index (PDF)

pp. 325-326

[Roster] (PDF)

pp. 328
88 ms
(Ver 3.3 (11022016))