(2003). Understanding formal methods / written and translated by Jean François Monin ; translation editor, Michael G. Hinchey.
Citace podle Chicago (17th ed.)Understanding Formal Methods / Written and Translated by Jean François Monin ; Translation Editor, Michael G. Hinchey. 2003.
Citace podle MLA (9th ed.)Understanding Formal Methods / Written and Translated by Jean François Monin ; Translation Editor, Michael G. Hinchey. 2003.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..