Formal methods：state of the art and new directions

Corporate Authors: SpringerLink (Online service)
Group Author: Boca Paul.; Bowen J. P.; (Jonathan Peter), 1956-; Siddiqi J. I.; (Jawed I.), 1951-
Published: Springer,
Publication Dates: c2010.