Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language

Authors:
Patrice Chalin;Peter Grogono;Thiruvengadam Radhakrishnan
Affiliations:
-;-;-
Venue:
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Year:
1996

Citing 0
Cited 2

Enhancing the Pre- and Postcondition Technique for More Expressive Specifications

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modular specification and verification of object-oriented programs

Modular specification and verification of object-oriented programs

Quantified Score

Hi-index	0.00

Visualization

Abstract