1
by Cooke
Published 2005
Subjects: '; ...Formal methods (Computer science)...