文
论文分享
演练场
杂货铺
论文推荐
字
编辑器下载
登录
注册
C.-B. Breunesse
发表
On JML: topics in tool-assisted verification of Java programs
C.-B. Breunesse, 2006 .
Voting using Java Card smart cards: A case study
Bart Jacobs, C.-B. Breunesse, Oostdijk, 2002 .