Marjan I. Alberda

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

1 Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz: Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996

	1996
1		Marjan I. Alberda, Pieter H. Hartel, Eduard K. de Jong Frz: Using formal methods to cultivate trust in Smart Card Operating Systems. CARDIS 1996

Coauthor Index