1995 IEEE 10th Annual Symposium on Logic in Computer Science

Front Cover
IEEE Computer Society Press, 1995 - Computers - 518 pages
0 Reviews

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Invited Speaker
1
Program Logics
13
Once and For All
25
Copyright

46 other sections not shown

Common terms and phrases

Bibliographic information