Netstub: a framework for verification of distributed java applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elliot Barlas, Tevfik Bultan. Netstub: a framework for verification of distributed java applications. In R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer, editors, 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA. pages 24-33, ACM, 2007. [doi]

This author has not been identified. Look up 'Elliot Barlas' in GoogleThis author has not been identified. Look up 'Tevfik Bultan' in Google

runs on WebDSL