Secret ninja formal methods (2008)

by J R Kiniry, D M Zimmerman
Venue:in FM ’08: Proceedings of the 15th international symposium on Formal Methods