%0 Generic %E Margaria-Steffen, Tiziana, %E Steffen, Bernhard. %@ 9783540489290 %@ 3540489290 %@ 3540489282 %@ 9783540489283 %@ 9786611389178 %@ 6611389172 %T Leveraging applications of formal methods first international symposium, ISoLA 2004, Paphos, Cyprus, October 30-November 2, 2004 : revised selected papers / %U https://ezaccess.libraries.psu.edu/login?url=http://dx.doi.org/10.1007/11925040