Richard Platek Vis

List of publications from the DBLP Bibliography Server - FAQ

* 1994

2 EE 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	EE	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