Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan. Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language. In Marie-Claude Gaudel, Jim Woodcock, editors, FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Volume 1051 of Lecture Notes in Computer Science, pages 385-404, Springer, 1996.

This author has not been identified. Look up 'Patrice Chalin' in GoogleThis author has not been identified. Look up 'Peter Grogono' in GoogleThis author has not been identified. Look up 'Thiruvengadam Radhakrishnan' in Google

runs on WebDSL