Richard Platek

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994

2 Richard Platek: What is a Proof? (Abstract). CADE 1994: 431

1984

1 Richard Platek: The Use of Ada as an Implementation Language in Formally Specified Systems. IEEE Symposium on Security and Privacy 1984: 107-110

1994
2		Richard Platek: What is a Proof? (Abstract). CADE 1994: 431
1984
1		Richard Platek: The Use of Ada as an Implementation Language in Formally Specified Systems. IEEE Symposium on Security and Privacy 1984: 107-110