Abdelwaheb, A., D.A. Basin and A. Podelski: LISA: A Specification Language Based on WS2S. In: Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97), (Eds.) Nielsen, Mogens; Thomas, Wolfgang. Lecture Notes in Computer Science. Springer, Berlin, Germany (1998) 18-34.
localid: C1256104005ECAFC-C031722D45D00184412566FD005946CA-LisaCSL
http://edoc.mpg.de
The Max Planck Society does not take any responsibility for the content of this export.