Secret Ninja Formal Methods.

Joseph R. Kiniry, Daniel M. Zimmerman

Browse the full FM paper archive.