Farn Wang

2 books • 2 series

Jan 1, 2005
Cover of Formal Techniques for Networked and Distributed Systems Forte 2005

Formal Techniques for Networked and Distributed Systems Forte 2005 (Lecture Notes in Computer Science, #3731) (Programming and Software Engineering, #3731)

Oct 19, 2004
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis (Lecture Notes in Computer Science, #3299)