Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Abdelwaheb, A., Basin, D. A., & Podelski, A. (1998). LISA: A Specification Language Based on WS2S. In M. Nielsen, & W. Thomas (Eds.), Proceedings of the 11th International Workshop on Computer Science Logic (CSL-97) (pp. 18-34). Berlin, Germany: Springer.