Formal Methods and Software Engineering

by Kazuhiro Ogata, Mark Lawford, Shaoying Liu