Formal Methods and Software Engineering

by Kazuhiro Ogata

First published 2008 · 503 pages