Toward a multiformalism specification environment

• Authors:

• Edward A. Ipser

• Affiliations:

• University of Southern California, Los Angeles

• Venue:
• Toward a multiformalism specification environment
• Year:
• 1990