Material

ICECCS 07
Advances in the FMICS-jETI Platform for Program Verification
IDPT 06
Special Issue: Application of formal methods
Guest Editors: T. Margaria, B. Steffen and B. Krämer