A Tutorial on LARCH and LCL, A LARCH/C Interface Language

• Authors:

• John V. Guttag;James J. Horning

• Affiliations:

• -;-

• Venue:
• VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
• Year:
• 1991