| First International Conference on Software Engineering and Formal Methods (SEFM'03) |
|
ISBN:
0-7695-1949-0 |
| Brisbane, Australia September 22-September 27 |
 | Introduction |
pp. vii
|
|
PURCHASE ARTICLE: $0
|
|
ABSTRACT
|
|
|
|
HTML
|
|
IEEE Xplore Subscribers
|
pp. viii
|
|
PURCHASE ARTICLE: $0
|
|
ABSTRACT
|
|
|
|
HTML
|
|
IEEE Xplore Subscribers
|
pp. ix
|
|
PURCHASE ARTICLE: $0
|
|
ABSTRACT
|
|
|
|
HTML
|
|
IEEE Xplore Subscribers
|
pp. x
|
|
PURCHASE ARTICLE: $0
|
|
ABSTRACT
|
|
|
|
HTML
|
|
IEEE Xplore Subscribers
|
| Keynote Speaker 1 |
| Session 1: Testing |
| Session 2: Formal Models for Security |
| Keynote Speaker 2 |
| Session 3: Program Verification |
| Keynote Speaker 3 |
| Session 4: Integration of Formal and Informal Methods I |
Boris Litvak, Tel-Aviv University and IBM Research Center, Haifa
Amiram Yehudai, Tel-Aviv University and the Academic College of Tel-Aviv Yaffo
pp. 118
| Session 5: Integration of Formal and Informal Methods II |
| Session 6: Object-Oriented Modelling |
Nadia Bouassida, Institut Sup?rieur d?Informatique et de Multim?dias de Sfax
pp. 164
| Session 7: Automated Verification |
| Author Index |
pp. 229
|
|
PURCHASE ARTICLE: $0
|
|
ABSTRACT
|
|
|
|
HTML
|
|
IEEE Xplore Subscribers
|
Usage of this product signifies your acceptance of the
Terms of Use.
|
|
|
|
|
|
|
|
