The jABC Approach to Rigorous Collaborative Development of SCM Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh. The jABC Approach to Rigorous Collaborative Development of SCM Applications. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 724-737, Springer, 2008. [doi]

This author has not been identified. Look up 'Martina Hörmann' in GoogleThis author has not been identified. Look up 'Tiziana Margaria' in GoogleThis author has not been identified. Look up 'Thomas Mender' in GoogleThis author has not been identified. Look up 'Ralf Nagel' in GoogleThis author has not been identified. It may be one of the following persons:

Bernhard Steffen

Look up 'Bernhard Steffen' in GoogleThis author has not been identified. Look up 'Hong Trinh' in Google

runs on WebDSL