Skip to main content

Unifying Models of Data Flow

Tony Hoare and John Wickerson

Book Title
Software and Systems Safety − Specification and Verification
Editor
Manfred Broy and Christian Leuxner and Tony Hoare
Pages
211−230
Publisher
IOS Press
Series
NATO Science for Peace and Security Series − D: Information and Communication Security
Volume
30
Year
2011