| | This Publication | |
| |
| |
| | Bibliographic References | |
| |
| |
| | |
First International Conference on Software Engineering and Formal Methods (SEFM'03)
Brisbane, Australia
September 22-September 27
ISBN: 0-7695-1949-0
Table of Contents
 | Introduction |
| 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 |
Usage of this product signifies your acceptance of the
Terms of Use.
|
|
|
|
|
|
|
|
