Statistics
Publications
1
Citations
37
H-Index
1
Active since
1985
Affiliations
The University of Queensland(Current)
V. L. Nguyen is an author at The University of Queensland specializing in formal verification, formal specification, and verification.
Publications per year
1985–1985
1
1
A fixpoint semantics for nondeterministic data flow
John Staples, V. L. Nguyen · Journal of the ACM · 1985 · 37 citations · Full text
1–1 of 1