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.
Institution: Professur für Grundlagen der Informatik
|
|