Search
1 heading found for n 79042845
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Newey, Malcolm Charles.
Newey, Malcolm Newey, Malcolm, 19..-.... Malcolm Charles Newey Ph.D. Stanford University 1975 |
Personal | Formal semantics of lips with applications to program correctness Theorem proving in higher order logics 11th international conference, TPHOLs '9 ... Programming language systems |