Max Planck Society - eDoc Server

http://edoc.mpg.de



LISA: A Specification Language Based on WS2S
Authors: Abdelwaheb, Ayari; Basin, David A.; Podelski, Andreas
Place of Publication: Berlin, Germany
Publisher: Springer
Date of Publication (YYYY-MM-DD): 1998
Title of Proceedings: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97)
Start Page: 18
End Page: 34
Title of Series: Lecture Notes in Computer Science
Document Type: Conference-Paper
ID: 519683.0