Secret Ninja Formal Methods [chapter]

Joseph R. Kiniry, Daniel M. Zimmerman
Lecture Notes in Computer Science  
doi:10.1007/978-3-540-68237-0_16 dblp:conf/fm/KiniryZ08 fatcat:3okhiytrdrhvlobost3l2gmjim