Phuong Thê Nguyên

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

1 Rajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123

	2001
1		Rajeev Goré, Phuong Thê Nguyên: CardS4: Modal Theorem Proving on Java Smartcards. E-smart 2001: 111-123

Coauthor Index