Statistics
Publications
3
Citations
72
H-Index
3
Active since
1980
Affiliations
University of Bath(Current)
Peter J. L. Wallis is an author at University of Bath specializing in automated reasoning, formal verification, and computer science.
Publications per year
1980–1996
3
3
Mark Ainsworth, A. H. Cruickshank, Peter J. L. Wallis et al. · Information and Software Technology · 1994 · 44 citations
Formal validation of viewpoint specifications
Mike Ainsworth, Steve Riddle, Peter J. L. Wallis · Software Engineering Journal · 1996 · 16 citations
Engineering, Geometry, Verification +21
Rows per page
1–3 of 3