The future of formal model checking is NOW!

Author(s):
Ram Narayan
Download