Skip to content
Vinony

Jim Woodcock

No biography available.

Works (5)

Cover of Software engineering mathematics
Software engineering mathematics
Cover of Mathematics of program construction
Mathematics of program construction
Cover of Formal Methods Foundations and Applications Lecture Notes in Computer Science
Formal Methods Foundations and Applications Lecture Notes in Computer Science
Cover of Formal methods and hybrid real-time systems
Formal methods and hybrid real-time systems
Cover of Theoretical Aspects of Computing -- ICTAC 2013
Theoretical Aspects of Computing -- ICTAC 2013