ID | Nes90 |
Type | Article - an article from a journal or magazine |
Author | D. M. Nesset |
Title | A Critique of the Burrows, Abadi and Needham Logic |
Journal | ACM Operating Systems Review |
Year | 1990 |
Volume | 24 |
Number | 2 |
Page(s) | 35-38 |
Vacancies of TU Braunschweig
Career Service' Job Exchange
Merchandising
Term Dates
Courses
Degree Programmes
Information for Freshman
TUCard
Technische Universität Braunschweig
Universitätsplatz 2
38106 Braunschweig
P. O. Box: 38092 Braunschweig
GERMANY
Phone: +49 (0) 531 391-0