KWIC-index generation

• Authors:

• Jørgen Steensgaard-Madsen;Jane W. Hughes;Malcolm S. Powell;Hartmut Ehrig;Hans-Jörg Kreowski;Leif Sandegaard Nielsen;Jean-Raymond Abrial;Ib Sørensen;Robin M. Gallimore;Derek Coleman;Joseph A. Goguen

• Affiliations:

• -;-;-;-;-;-;-;-;-;-;-

• Venue:
• Program Specification, Proceedings of a Workshop
• Year:
• 1981