Some Topics in the Design of the Specification Language Lotos

• Authors:

• Vincenza Carchiolo;Alberto Faro;F. Minissale;Giuseppe Scollo

• Affiliations:

• -;-;-;-

• Venue:
• Proceedings of the 6th Colloquium on International Symposium on Programming
• Year:
• 1984