Angus C. K. Lau

AC

Statistics

Publications

1

Citations

49

H-Index

1

Active since

1988

Affiliations

Angus C. K. Lau is an author at University of British Columbia specializing in deductive verification, protocol design, and internet protocol suite.

Publications per year

1988–1988

1

Publications

1