Software Specification Using LASS

• Authors:

• Mihal Badonski;Mirjana Ivanovic;Zoran Budimac

• Affiliations:

• -;-;-

• Venue:
• ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
• Year:
• 1997