Margaria, T. ; Mendler, Michael: Model-based automatic synthesis and analysis in second-order monadic logic
. In: ACM SIG-PLAN (Veranst.): Proceedings Workshop on Automated Analysis of Software (AAS'97, Paris, January 1997). Paris : ACM, 1997, S. 99-112.
|