 | FATES: Workshop on Formal Approaches to Testing of Software (FATES'04,
FATES'05,
FATES'06) |
| ICFEM: International Conference on Formal Engineering Methods (ICFEM'05) |
| SOQUA: International Workshop on Software Quality (SOQUA'05,
SOQUA'06) |
| QSIC: International Conference on Quality Software (QSIC'04,
QSIC'05,
QSIC'06) |
| SAFECOMP: International Conference on Computer Safety, Reliability, and
Security (SAFECOMP'04,
SAFECOMP'05) |
|
International Workshop on Model-Based Testing @
ETAPS'2004 |
|
Tool Integration Workshop in System Development @ ESEC'2003 |
| IFM: International Conference on Integrated Formal Methods (IFM'00,
IFM'02,
IFM'04,
IFM'05, IFM'07) |
| ZB: International Conference of Z and B Users (ZB'00,
ZB'03,
ZB'05) |