Integrated Formal Methods door Marilyn Butler, Xingzhi M.E. Zhan & L. Petre