Model-based Automatic Synthesis and Analysis in Second-Order Monadic Logic (1997)

Cached

Download Links

by Tiziana Margaria , Michael Mendler , Lehrstuhl Fur Programmiersysteme , Low Speed System , High Speed
Venue:Proc. AAS'97, ACM/SIGPLAN Int. Worksh. on Automated Analysis of Software, Paris (F
Citations:3 - 3 self