Heidar Pirzadeh

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

2 Heidar Pirzadeh, Danny Dubé: Encoding the Program Correctness Proofs as Programs in PCC Technology. PST 2008: 121-132

1 Heidar Pirzadeh, Danny Dubé: VEP: a virtual machine for extended proof-carrying code. VMSec 2008: 9-18

	2008
2		Heidar Pirzadeh, Danny Dubé: Encoding the Program Correctness Proofs as Programs in PCC Technology. PST 2008: 121-132
1		Heidar Pirzadeh, Danny Dubé: VEP: a virtual machine for extended proof-carrying code. VMSec 2008: 9-18

Coauthor Index

1 Danny Dubé [1] [2]